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

Molecule
subjectfact 
Moleculedocumentation A Molecule is a set of Atoms that are chemically bonded together2001-11-30 13:34:45.0
has axiom 
(=>
    (instance ?MOLE Molecule)
    (exists (?ATOM1 ?ATOM2)
       (and
          (instance ?ATOM1 Atom)
          (instance ?ATOM2 Atom)
          (part ?ATOM1 ?MOLE)
          (part ?ATOM2 ?MOLE)
          (not
             (equal ?ATOM1 ?ATOM2)))))
2001-11-30 13:34:45.0
has axiom 
(=>
    (instance ?SUBMOLE SubmolecularObject)
    (exists (?MOLE)
       (and
          (instance ?MOLE Molecule)
          (part ?SUBMOLE ?MOLE))))
2001-11-30 13:34:45.0
has axiom 
(=>
    (instance ?VIRUS Virus)
    (exists (?MOL1)
       (and
          (component ?MOL1 ?VIRUS)
          (instance ?MOL1 Molecule)
          (forall (?MOL2)
             (=>
                (and
                   (component ?MOL2 ?VIRUS)
                   (instance ?MOL2 Molecule))
                (equal ?MOL1 ?MOL2))))))
2001-11-30 13:34:45.0
is a kind of CorpuscularObject2001-11-30 13:34:45.0
CorpuscularObjectis disjoint from Substance2001-11-30 13:33:58.0
is first domain of component2001-11-30 13:33:58.0
is second domain of component2001-11-30 13:33:58.0
is second domain of material2001-11-30 13:33:58.0
Objectis third domain of between2001-11-30 13:34:51.0
is third domain of capability2001-11-30 13:34:51.0
is third domain of connects2001-11-30 13:34:51.0