Relation ACCESS-TO

Arity: 2

Domain: *opening

Range: Entity

Axioms:

(= (Inverse Accessible-Through) Access-To)

(<=> (Access-To ?A ?B) (And (*Opening ?A) (Entity ?B)))

• Defined in theory: Topo-morphology
• Source code: Topo-Morphology.lisp