Slots on relation Actual-Pre-Condition:
- Arity: 2
- Documentation:
A relationship between an Activity and a State-Of-Affairs
whereby the State-Of-Affairs is required to be true in
order to perform the Activity.
- Domain: Activity
- Instance-Of: Binary-Relation, Relation, Set
- Range: Pre-Condition
Other Related Axioms for Actual-Pre-Condition:
(Inherited-Facet-Value Slot-Value-Type
Activity
Actual-Pre-Condition
Pre-Condition)
(Inherited-Facet-Value Minimum-Slot-Cardinality
Activity
Actual-Pre-Condition
1)