Class AGREEMENT

Slots on this class:

Documentation:
The class of things which consititute an agreement between two or more agents. Agreements may be implicit or explicit. They may be written or verbal or gestural.
Instance-Of: Class
Subclass-Of: Individual-thing
Domain-Of: Agreeing-agents
Superclass-Of: Purchasing-agreement, Service-agreement, Warranty

Slots on instances of this class:

Agreeing-Agents:
Minimum-Slot-Cardinality: 2

Other Related Axioms:

(Nth-Domain Obligation-In 1 Agreement)

(=> (Agreeing-Agents $X $Y) (Agreement $X))