Relation DEATH-TIME-VALUE-OF

Arity: 2

Domain: Date-value-filler

Range: Organism

Axioms:

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

(<=> (Death-Time-Value-Of ?A ?B)
     (And (Date-Value-Filler ?A) (Organism ?B)))

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