ГОСТ Р ИСО 18629-44 - 2011
(and (exists (?оссЗ)
(and (subactivity„occurrence ?occ3 ?b)
(occurrence_of ?b ?a)
(precedes ?occ2 ?occ3))
(not (poss ?a2 ?occ3)))))))
6.5.7weakly_consumable
Какой-либо ресурс ?r является слабо потребляемым по отношению к
некоторому действию ?а1, если после завершения ?а1 всегда возможна
ситуация в будущем, когда какое-либо другое действие, требующее ?г,
становится невозможным.
Пример - Слабо потребляемым ресурсом является кисть для рисования. Если не
положить ев в растворитель после использования, то любое действие в будущем,
требующее данной кисти, становится невозможным.
(forall (?г ?а1)(iff (weakly_consumable ?r ?а1)
(forall (?a2 ?occ1 ?occ2)
(implies (and (common ?a1 ?a2 ?r)
(subactivity ?a1 ?a)
(subactivity ?a2 ?a)
(occurrence_of ?occ2 ?a1))
(exists (?b)
(and (forall (?occ3)
(implies (and (subactivity_occurrence ?occ3 ?b)
(occurrence_of ?b ?a)
(precedes ?occ2 ?occ3))
(not (poss ?a2 ?occ3)))))))
6.5.8wearable
Какой-либо ресурс ?r является изнашиваемым no отношению к некоторому
действию ?а1 тогда и только тогда, когда после завершения ?а1 всегда
возможны ситуации в будущем, когда какое-либо другое действие, требующее
?г, становится невозможным.
Пример - Изнашиваемым ресурсом является бита дрели. В любом случав в
будущем всегда возможна ситуация, когда бита будет изношена до предела и далее не
может быть использована.
(forall (?г ?а1) (iff (wearable ?г ?а1)
13