Relation NON-TRUE-PART

Arity: 2

Domain: Entity

Range: Entity

Axioms:

(= (Inverse Non-True-Part-Of) Non-True-Part)

(<=> (Non-True-Part ?A ?B) (And (Entity ?A) (Entity ?B)))

• Defined in theory: Topology
• Source code: Topology.lisp