Relation _ATOMIC-CHAIN

Arity: 2

Subrelation-Of:

Physical-property, _atomic, _chain, _self-connected

Axioms:

(=> (_Atomic-Chain ?A ?B)
    (Forall (?Y) (=> (Element ?A ?Y) (Atom ?Y))))

• Defined in theory: Physical-concepts
• Source code: Physical-Concepts.lisp