ГОСТ Р ИСО 18629-13-2011
Неформальнаясемантика дляпримитивногосимволаотношения
timeduration такова:
(timeduration ?d) в интерпретации теории продолжительности операций
принимает значение TRUE тогда и только тогда, когда ?d является элементом
множествавременныхинтерваловвобщейсовокупностидискурсов
интерпретации. Временные интервалы являются подкатегорией объекта.
7.5.2 Примитивный символ отношения lesser
KIF-формат обозначения примитивного символа отношения lesser таков:
(lesser ?d1 ?d2)
Неформальная семантика для примитивного символа отношения lesser
такова:
Все временные интервалы линейно упорядочены.
(lesser ?d1 ?d2) в интерпретации теории продолжительности операций
принимает значение TRUE тогда и только тогда, когда значение временного
интервала ?d1 меньше другого значения временного интервала ?d2.
7.5.3 Примитивный символ функции duration
KIF-формат обозначения примитивного символа функции duration таков:
(duration ?t1 ?t2)
Неформальная семантика для примитивного символа функции duration
такова:
(= (duration ?t1 ?t2) ?d) в интерпретации теории продолжительности
операций принимает значение TRUE тогда и только тогда, когда ?d означает
временной интервал, чье значение является расстоянием между двумя
временными точками ?t1 и ?t2 на временной оси.
7.5.4 Определяющий символ отношения time_add
KIF-формат обозначения определяющего символа отношения time add
таков:
(time add ?t ?d)
16