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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14894-14897
(externalImage Molecule "http://upload.wikimedia.org/wikipedia/commons/a/ a4/ Atisane3.png") pictureList.kif 6708-6708
(subclass Molecule CompoundSubstance) Merge.kif 14893-14893 分子复合物质subclass

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


(subclass AmphipathicMolecule Molecule) VirusProteinAndCellPart.kif 378-378 两亲分子分子subclass
(subclass Caffeine Molecule) Mid-level-ontology.kif 19830-19830 Caffeine分子subclass
(subclass DNAMolecule Molecule) VirusProteinAndCellPart.kif 44-44 DNA分子分子subclass
(subclass RNAMolecule Molecule) VirusProteinAndCellPart.kif 73-73 RNA分子分子subclass
(subclass ViralGenome Molecule) VirusProteinAndCellPart.kif 530-530 病毒基因组分子subclass
(termFormat ChineseLanguage Molecule "分子") chinese_format.kif 1047-1047
(termFormat EnglishLanguage Molecule "molecule") english_format.kif 1310-1310

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


(domain geneticSubstrateOfVirus 2 Molecule) VirusProteinAndCellPart.kif 36-36 病毒的遗传基质 的 2 数量 是 分子instance
(domain hasMolecularStructuralAttribute 1 Molecule) VirusProteinAndCellPart.kif 119-119 具有分子结构属性 的 1 数量 是 分子instance

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 849-864
(=>
    (and
        (instance ?COMPOUND OrganicCompound)
        (instance ?COMPOUND Molecule))
    (exists (?CARBON)
        (and
            (instance ?CARBON Carbon)
            (part ?CARBON ?COMPOUND))))
Mid-level-ontology.kif 7832-7839
(=>
    (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 3043-3052
(=>
    (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 14899-14908

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 19941-19954
(=>
    (instance ?A FreeAtom)
    (not
        (exists (?M)
            (and
                (instance ?M Molecule)
                (part ?A ?M)))))
Mid-level-ontology.kif 19902-19908
(=>
    (instance ?G AtomicGroup)
    (exists (?M)
        (and
            (instance ?M Molecule)
            (part ?G ?M))))
Mid-level-ontology.kif 19970-19975
(=>
    (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 19918-19931


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 is open source software produced by Articulate Software and its partners