Class COVALENT-BOND

Subclass-Of: Bond

Axioms:

(=> (Covalent-Bond ?Self)
    (Exists (?A)
            (And (Component ?Self ?A)
                 (Electron ?A)
                 (Cardinality (Setofall ?B (_Pair ?A ?B)) 1))))

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