Relation CONSTITUTION-TIME-VALUE-OF

Arity: 2

Domain: Date-value-filler

Range: Social-object

Axioms:

(= (Inverse Constitution-Time-Value) Constitution-Time-Value-Of)

(<=> (Constitution-Time-Value-Of ?A ?B)
     (And (Date-Value-Filler ?A) (Social-Object ?B)))

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