ГОСТ Р ИСО 18629-44 - 2011
(exists (?b)
(and
(forall (?оссЗ)
(implies (and (subactivity_occurrence ?occ3 ?b)
(occurrence_of ?b ?a)
(precedes ?occ2 ?occ3))
(poss ?a2 ?occ3))))))
6.5.5 consumable
Какой-либо ресурс ?r является потребляемым действием ?а, если какое-
либо другое действие, также требующее ?г, не может быть выполнено после
завершения ?а.
Пример - Потребляемым ресурсом являются дрова в костре или сырьевые
материалы в производственном процессе.
(forall (?г ?а1) (iff (consumable ?г ?а1)
(forall (?а2 ?осс1 ?осс2)
(implies (and (common ?а1 ?a2 ?r)
(subactivity ?a1 ?a)
(subactivity ?a2 ?a)
(occurrence_of ?occ2 ?a1))
(forall (?b)
(implies(forall (?occ3)
(implies (and (subactivity_occurrence ?occ3 ?b)
(occurrence_of ?b ?a)
(precedes ?occ2 ?occ3))
(not (poss ?a2 ?occ3))))))))
6.5.6possibly_consumable
Какой-либо ресурс ?r является возможно потребляемым по отношению к
некоторому действию ?а1, если после завершения ?а1 возникает ситуация, в
которой любое действие, требующее ?г, становится неосуществимым.
(forall (?г ?а1) (iff (possibly_consumable ?г ?а1)
(forall (?a2 ?occ1 ?occ2)
(implies (and (common ?al ?a2 ?r)
(subactivity ?a1 ?a)
(subactivity ?a2 ?a)
(occurrence_of ?occ2 ?a1))
(exists (?b)
12