ГОСТ Р ИСО 18629-44 - 2011
(forall (?а ?r) (iff (uses ?а ?г)
(exists (?q)
(uses_quantity ?а ?r ?q)))))
8.5.11 consumes
Некоторое действие потребляет какой-либо ресурс тогда и только тогда,
когда оно потребляет некоторое количество данного ресурса.
(forall (?а ?r) (iff (consumes ?а ?г)
(exists (?q)
(consumes_quantity ?а ?r ?q)))))
8.5.12 strict consumes
Некоторое действие строго потребляет какой-либо ресурс тогда и только
тогда, когда оно строго потребляет некоторое количество данного ресурса.
(forall (?а ?r) (iff (strict_consumes ?а?г)
(exists (?q)
(strict_consumes_quantity ?а ?r ?q))))
8.5.13 produces
Некоторое действие производит какой-либо ресурс тогда и только тогда,
когда оно производит некоторое количество данного ресурса.
(forall (?а ?r) (iff (produces ?а ?г)
(exists (?q)
(produces_quantity ?а ?r ?q))))
8.5.14 strict_produces
Некоторое действие строго производит какой-либо ресурс тогда и только
тогда, когда оно строго производит некоторое количество данного ресурса.
(forall (?а ?r) (iff (strict_produces ?а ?г)
(exists (?q)
(strict_produces_quantity ?а ?r ?q))))
8.5.15 provides quantity
Некоторое действие обеспечивает некоторое количество какого-либо
ресурса тогда и только тогда, когда существует поддействие, которое
производит некоторое количество данного ресурса, и другое поддействие,
которое потребляет некоторое количество данного ресурса.
(forall (?а ?r?q) (iff (provides_quantity ?а ?r ?q)
(and (exists (?a1)
(and (subactivity ?al ?a)
(produces_quantity ?a1 ?r ?q)))
(exists (?a2)
21