Relation _BRANCHED-CHAIN

Arity: 2

Domain: Atomic-unit

Subrelation-Of: _atomic-chain, _open

Axioms:

(=> (_Branched-Chain ?A ?B)
    (Exists (?Y) (And (Side-Chain-Subunit ?B) (Has-Attached ?A ?B))))

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