Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Molecule
Molecule(molecule)
CFTR, EDTA, NADP, RNase, X-linked_gene, Y-linked_gene, acetyl_chloride, acyclic, alicyclic_compound, aliphatic, allele, allelomorph, alpha-linolenic_acid, alpha-naphthol, bicyclic, bimolecular, branched_chain, bromoform, buckminsterfullerene, buckyball, calcium_bicarbonate, carbon_nanotube, chain, chemical_chain, chlorpyrifos, cistron, closed-chain, closed-ring, closed_chain, cocarboxylase, coenzyme, coenzyme_A, coenzyme_Q, cyclic, cystic_fibrosis_transport_regulator, diatomic, dipole_molecule, dominant_gene, electric_dipole, electric_doublet, endonuclease, ethanoyl_chloride, ethylenediaminetetraacetic_acid, exonuclease, factor, fluoroform, foryml, fulvic_acid, gene, genetic_marker...

appearance as argument number 1
-------------------------


(subclass Molecule CompoundSubstance) Merge.kif 15949-15949 Molecule is a subclass of compound substance
(documentation Molecule EnglishLanguage "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.") Merge.kif 15950-15953 Molecule is a subclass of compound substance
(externalImage Molecule "http://upload.wikimedia.org/wikipedia/commons/a/ a4/ Atisane3.png") pictureList.kif 6706-6706 Molecule is a subclass of compound substance

appearance as argument number 2
-------------------------


(subclass Caffeine Molecule) Mid-level-ontology.kif 23919-23919 Caffeine is a subclass of molecule
(subclass Monomer Molecule) VirusProteinAndCellPart.kif 44-44 Monomer is a subclass of molecule
(subclass Polymer Molecule) VirusProteinAndCellPart.kif 66-66 Polymer is a subclass of molecule
(subclass AmphipathicMolecule Molecule) VirusProteinAndCellPart.kif 480-480 Amphipathic molecule is a subclass of molecule
(subclass ViralGenome Molecule) VirusProteinAndCellPart.kif 1098-1098 Viral genome is a subclass of molecule
(termFormat EnglishLanguage Molecule "molecule") english_format.kif 1309-1309 Viral genome is a subclass of molecule

appearance as argument number 3
-------------------------


(domain geneticSubstrateOfVirus 2 Molecule) VirusProteinAndCellPart.kif 36-36 The number 2 argument of genetic substrate of virus is an instance of molecule
(domain hasMolecularStructuralAttribute 1 Molecule) VirusProteinAndCellPart.kif 168-168 The number 1 argument of has molecular structural attribute is an instance of molecule

antecedent
-------------------------


(=>
    (instance ?MOLE Molecule)
    (exists (?ATOM1 ?ATOM2)
        (and
            (instance ?ATOM1 Atom)
            (instance ?ATOM2 Atom)
            (part ?ATOM1 ?MOLE)
            (part ?ATOM2 ?MOLE)
            (not
                (equal ?ATOM1 ?ATOM2)))))		 Merge.kif 15955-15964 If X is an instance of molecule, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of atom (3) Z is an instance of atom (4) Y is a part of X (5) Z is a part of X (6) equal Y (7) Z
(=>
    (and
        (instance ?COMPOUND OrganicCompound)
        (instance ?COMPOUND Molecule))
    (exists (?CARBON)
        (and
            (instance ?CARBON Carbon)
            (part ?CARBON ?COMPOUND))))		 Mid-level-ontology.kif 9922-9929 If X is an instance of organic compound and X is an instance of molecule, then there exists Y such that Y is an instance of carbon and Y is a part of X
(=>
    (and
        (protonNumber ?SUBSTANCE ?NUMBER)
        (part ?ATOM ?SUBSTANCE)
        (or
            (instance ?ATOM Atom)
            (instance ?ATOM Molecule)))
    (exists (?PROTON)
        (equal ?NUMBER
            (CardinalityFn
                (KappaFn ?PROTON
                    (and
                        (part ?PROTON ?ATOM)
                        (instance ?PROTON Proton)))))))		 Mid-level-ontology.kif 23961-23974 If X is a proton number of Y, Z is a part of Y, and Z is an instance of atom or Z is an instance of molecule, then there exists W such that equal X and the number of instances in the class described by W
(=>
    (and
        (electronNumber ?SUBSTANCE ?NUMBER)
        (part ?ATOM ?SUBSTANCE)
        (or
            (instance ?ATOM Atom)
            (instance ?ATOM Molecule)))
    (exists (?ELECTRON)
        (equal ?NUMBER
            (CardinalityFn
                (KappaFn ?ELECTRON
                    (and
                        (part ?ELECTRON ?ATOM)
                        (instance ?ELECTRON Electron)))))))		 Mid-level-ontology.kif 23984-23997 If X is an electron number of Y, Z is a part of Y, and Z is an instance of atom or Z is an instance of molecule, then there exists W such that equal X and the number of instances in the class described by W
(=>
    (and
        (instance ?CD CarbonDioxide)
        (instance ?CD Molecule))
    (exists (?C ?O1 ?O2)
        (and
            (instance ?C Carbon)
            (instance ?O1 Oxygen)
            (instance ?O2 Oxygen)
            (instance ?C Atom)
            (instance ?O1 Atom)
            (instance ?O2 Atom)
            (part ?C ?CD)
            (part ?O1 ?CD)
            (part ?O2 ?CD)
            (not
                (equal ?O1 ?O2)))))		 Food.kif 3450-3465 If X is an instance of carbon dioxide and X is an instance of molecule, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of carbon (3) Z is an instance of oxygen (4) W is an instance of oxygen (5) Y is an instance of atom (6) Z is an instance of atom (7) W is an instance of atom (8) Y is a part of X (9) Z is a part of X (10) W is a part of X (11) equal Z (12) W
(=>
    (and
        (instance ?X Hydrocarbon)
        (instance ?X Molecule))
    (exists (?Y ?Z)
        (and
            (instance ?Y Hydrogen)
            (instance ?Z Carbon)
            (part ?Y ?X)
            (part ?Z ?X))))		 naics.kif 3030-3039 If X is an instance of hydrocarbon and X is an instance of molecule, then there exist Y, Z such that Y is an instance of hydrogen, Z is an instance of carbon, Y is a part of X, and Z is a part of X

consequent
-------------------------


(=>
    (instance ?A FreeAtom)
    (not
        (exists (?M)
            (and
                (instance ?M Molecule)
                (part ?A ?M)))))		 Mid-level-ontology.kif 23945-23951 If X is an instance of free atom, then there doesn't exist Y such that Y is an instance of molecule and X is a part of Y
(=>
    (instance ?G AtomicGroup)
    (exists (?M)
        (and
            (instance ?M Molecule)
            (part ?G ?M))))		 Mid-level-ontology.kif 24037-24042 If X is an instance of atomic group, then there exists Y such that Y is an instance of molecule and X is a part of Y


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners