ГОСТ Р ИСО 18629-11— 2010
6.4.9 Аксиома 9
Все описываемые сущности есть либо действия, либо объекты, либо наступление действия, либо
момент времени.
(forall (?х)
(or (activity ?х)
(activity_occurrence ?х)
(object ?х)
(timepoint ?х)))
6.4.10 Аксиома 10
Объекты, действия, наступления действий и моменты времени являются разными видами сущно
стей.
(forall (?х)
(and (implies (activity ?х)
(not (or (activity_occurrence ?x) (object ?x) (timepoint ?x))))
(implies (activity_occurrence ?x)
(not (or (object ?x) (timepoint ?x))))
(implies (object ?x)
(not (timepoint ?x))))
6.4.11 Аксиома 11
Отношение наступления действия существует только междудействиями и наступлениями действий,
(forall (?а ?осс)
(implies (occurrence_of?осс ?а)
(and (activity ?а)
(activity_occurrence ?осс))))
6.4.12 Аксиома 12
Наступление действия является однозначным действием.
(forall (?осс?а1 ?а2)
(implies (and (occurrence_of?осс ?а1)
(occurrence_of ?occ ?a2))
(= ?a1 ?a2))))
6.4.13 Аксиома 13
Начало и окончание наступления действия или объекта являются моментами времени.
(forall (?х)
(implies (or (activity_occurrence?x) (object ?x))
(and (timepoint (beginof ?x))
(timepoint (endof?x)))))
6.4.14 Аксиома 14
Момент начала каждого действия или объекта наступает перед моментом его окончания или равен
моменту его окончания.
(forall (?х)
(implies (or (activity„occurrence ?x)
(object ?x))
(beforeEq (beginof?x) (endof?x))))
П р и м е ч а н и е — Если моменты начала и окончания действия являются равными, то поддерживаются
приложения программного обеспечения, которые представляют мгновенные события.
6.4.15 Аксиома 15
Отношение участвует в чем-либо (participate_in) может существовать только между объектами, на
ступлениямидействий и моментами времени соответственно.
(forall (?х ?осс ?t)
(implies (participatesjn ?х ?осс ?t)
(and (object ?x)
(activity_occurrence ?occ)
(timepoint ?t))))
11