molecule (Molecule)

A molecule is the smallest unit of matter of a CompoundSubstance that retains all the physical and chemical properties of that substance, e.g., Ne, H2, H2O. A molecule is two or more Atoms linked by a chemical bond.

Ontology

SUMO / OBJECTS

Superclass(es)

entity

physical

object

self connected object

substance

pure substance

compound substance

molecule

Coordinate term(s)

nutrient water

Related WordNet synsets

molecule: (physics and chemistry) the simplest structural unit of an element or compound
molecular: relating to or produced by or consisting of molecules; "molecular structure"; "molecular oxygen"; "molecular weight is the sum of all the atoms in a molecule"

See more related synsets on a separate page.

Axioms (2)

if virus is an instance of virus,
then there exists molecule mol1 so that mol1 is a component of virus and for all mol2 holds: if mol2 is a component of virus and mol2 is an instance of molecule, then mol1 is equal to mol2

(=>
      (instance ?VIRUS Virus)
      (exists
            (?MOL1)
            (and
                  (component ?MOL1 ?VIRUS)
                  (instance ?MOL1 Molecule)
                  (forall
                        (?MOL2)
                        (=>
                              (and
                                    (component ?MOL2 ?VIRUS)
                                    (instance ?MOL2 Molecule))
                              (equal ?MOL1 ?MOL2))))))

If mole is an instance of molecule, then there exist atom atom1,atom atom2 so that atom1 is a part of mole and atom2 is a part of mole and atom1 is not equal to atom2.

(=>
      (instance ?MOLE Molecule)
      (exists
            (?ATOM1 ?ATOM2)
            (and
                  (instance ?ATOM1 Atom)
                  (instance ?ATOM2 Atom)
                  (part ?ATOM1 ?MOLE)
                  (part ?ATOM2 ?MOLE)
                  (not
                        (equal ?ATOM1 ?ATOM2)))))