Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Molecule

Sigma KEE - Molecule
Molecule

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


(documentation Molecule ChineseLanguage "分子是 CompoundSubstance在能保留该物质所有的物理和 化学性质下最小的物质单位,例如:Ne、 H2和H2O等。分子是由两个或以上的 Atom 以化学键联系的。") chinese_format.kif 3577-3578
(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 15383-15386
(externalImage Molecule "http://upload.wikimedia.org/wikipedia/commons/a/ a4/ Atisane3.png") pictureList.kif 6708-6708
(subclass Molecule CompoundSubstance) Merge.kif 15382-15382

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


(subclass AmphipathicMolecule Molecule) VirusProteinAndCellPart.kif 447-447
(subclass Caffeine Molecule) Mid-level-ontology.kif 21062-21062
(subclass DNAMolecule Molecule) VirusProteinAndCellPart.kif 44-44
(subclass RNAMolecule Molecule) VirusProteinAndCellPart.kif 73-73
(subclass ViralGenome Molecule) VirusProteinAndCellPart.kif 599-599
(termFormat ChineseLanguage Molecule "分子") chinese_format.kif 1047-1047
(termFormat EnglishLanguage Molecule "molecule") english_format.kif 1305-1305

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


(domain geneticSubstrateOfVirus 2 Molecule) VirusProteinAndCellPart.kif 36-36
(domain hasMolecularStructuralAttribute 1 Molecule) VirusProteinAndCellPart.kif 119-119

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


(=>
    (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 831-846
(=>
    (and
        (instance ?COMPOUND OrganicCompound)
        (instance ?COMPOUND Molecule))
    (exists (?CARBON)
        (and
            (instance ?CARBON Carbon)
            (part ?CARBON ?COMPOUND))))
Mid-level-ontology.kif 8166-8173
(=>
    (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 3036-3045
(=>
    (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 15388-15397

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


(=>
    (electronNumber ?SUBSTANCE ?NUMBER)
    (=>
        (and
            (part ?ATOM ?SUBSTANCE)
            (or
                (instance ?ATOM Atom)
                (instance ?ATOM Molecule)))
        (equal ?NUMBER
            (CardinalityFn
                (KappaFn ?ELECTRON
                    (and
                        (part ?ELECTRON ?ATOM)
                        (instance ?ELECTRON Electron)))))))
Mid-level-ontology.kif 21173-21186
(=>
    (instance ?A FreeAtom)
    (not
        (exists (?M)
            (and
                (instance ?M Molecule)
                (part ?A ?M)))))
Mid-level-ontology.kif 21134-21140
(=>
    (instance ?G AtomicGroup)
    (exists (?M)
        (and
            (instance ?M Molecule)
            (part ?G ?M))))
Mid-level-ontology.kif 21202-21207
(=>
    (protonNumber ?SUBSTANCE ?NUMBER)
    (=>
        (and
            (part ?ATOM ?SUBSTANCE)
            (or
                (instance ?ATOM Atom)
                (instance ?ATOM Molecule)))
        (equal ?NUMBER
            (CardinalityFn
                (KappaFn ?PROTON
                    (and
                        (part ?PROTON ?ATOM)
                        (instance ?PROTON Proton)))))))
Mid-level-ontology.kif 21150-21163


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners