Relation CONVENTIONAL-COMMON-GOAL

Arity: 2

Domain: Process

Range: Temporalized-entity

Axioms:

(= (Inverse Conventional-Common-Goal-Of) Conventional-Common-Goal)

(<=> (Conventional-Common-Goal ?A ?B)
     (And (Process ?A) (Temporalized-Entity ?B)))

• Defined in theory: Social-objects
• Source code: Social-Objects.lisp