SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > Molecule
Next CorpuscularObject: Organism    Up: CorpuscularObject    Previous CorpuscularObject: Artifact   

Molecule comparison table
Subject documentation is a kind of have axiom
CorpuscularObjectA SelfConnectedObject whose parts have properties that are not shared by the wholeSelfConnectedObject
(=>
    (instance ?OBJ CorpuscularObject)
    (exists (?SUBSTANCETYPE1 ?SUBSTANCETYPE2 ?SUBSTANCE1 ?SUBSTANCE2)
       (and
          (subclass ?SUBSTANCETYPE1 Substance)
          (subclass ?SUBSTANCETYPE2 Substance)
          (instance ?SUBSTANCE1 ?SUBSTANCETYPE1)
          (instance ?SUBSTANCE2 ?SUBSTANCETYPE2)
          (material ?SUBSTANCE1 ?OBJ)
          (material ?SUBSTANCE2 ?OBJ)
          (not (equal ?SUBSTANCE1 ?SUBSTANCE2)))))
MoleculeA Molecule is a set of Atoms that are chemically bonded togetherCorpuscularObject
(=>
    (instance ?VIRUS Virus)
    (exists (?MOL1)
       (and
          (component ?MOL1 ?VIRUS)
          (instance ?MOL1 Molecule)
          (forall (?MOL2)
             (=>
                (and
                   (component ?MOL2 ?VIRUS)
                   (instance ?MOL2 Molecule))
                (equal ?MOL1 ?MOL2))))))

Next CorpuscularObject: Organism    Up: CorpuscularObject    Previous CorpuscularObject: Artifact