Relation State-Description


Slots on relation State-Description:

Arity: 2
Documentation: The State-Of-Affairs in a Planning-Constraint
Domain: Planning-Constraint
Instance-Of: Binary-Relation, Relation, Set
Range: State-Of-Affairs

Other Related Axioms for State-Description:

(Inherited-Facet-Value Slot-Value-Type
                       Effect
                       State-Description
                       State-Of-Affairs)

(Inherited-Facet-Value Slot-Cardinality Effect State-Description 1)

(Inherited-Facet-Value Slot-Value-Type
                       Pre-Condition
                       State-Description
                       State-Of-Affairs)

(Inherited-Facet-Value Slot-Cardinality
                       Pre-Condition
                       State-Description
                       1)

(Inherited-Facet-Value Slot-Value-Type
                       Planning-Constraint
                       State-Description
                       State-Of-Affairs)