Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  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
-------------------------


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

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


(subclass AmphipathicMolecule Molecule) VirusProteinAndCellPart.kif 497-497 Amphipathic molecule is a subclass of molecule
(subclass Caffeine Molecule) Mid-level-ontology.kif 21936-21936 Caffeine is a subclass of molecule
(subclass Monomer Molecule) VirusProteinAndCellPart.kif 44-44 Monomer is a subclass of molecule
(subclass Polymer Molecule) VirusProteinAndCellPart.kif 64-64 Polymer is a subclass of molecule
(subclass ViralGenome Molecule) VirusProteinAndCellPart.kif 1113-1113 Viral genome is a subclass of molecule
(termFormat ChineseLanguage Molecule "分子") chinese_format.kif 1047-1047 Viral genome is a subclass of molecule
(termFormat EnglishLanguage Molecule "molecule") english_format.kif 1305-1305 Viral genome is a subclass of molecule
(termFormat FrenchLanguage Molecule "mol�cule") french_format.kif 725-725 Viral genome is a subclass of molecule
(termFormat Hindi Molecule "mOlikyUla") terms-hindi.txt 256-256 Viral genome is a subclass of molecule
(termFormat ItalianLanguage Molecule "Molecola") terms-it.txt 259-259 Viral genome is a subclass of molecule
(termFormat JapaneseLanguage Molecule "分子") japanese_format.kif 2409-2409 Viral genome is a subclass of molecule
(termFormat PortugueseLanguage Molecule "Molecula") portuguese_format.kif 677-677 Viral genome is a subclass of molecule
(termFormat cz Molecule "molecule") terms-cz.txt 295-295 Viral genome is a subclass of molecule
(termFormat ro Molecule "moleculã") relations-ro.kif 746-746 Viral genome is a subclass of molecule
(termFormat tg Molecule "maliit na butil") terms-tg.txt 260-260 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 164-164 The number 1 argument of has molecular structural attribute is an instance of molecule

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 3414-3429
(=>
    (and
        (instance ?COMPOUND OrganicCompound)
        (instance ?COMPOUND Molecule))
    (exists (?CARBON)
        (and
            (instance ?CARBON Carbon)
            (part ?CARBON ?COMPOUND))))		 Mid-level-ontology.kif 8781-8788
(=>
    (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 15722-15731

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


(=>
    (electronNumber ?SUBSTANCE ?NUMBER)
    (=>
        (exists (?ATOM)
            (and
                (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 22003-22018
(=>
    (instance ?A FreeAtom)
    (not
        (exists (?M)
            (and
                (instance ?M Molecule)
                (part ?A ?M)))))		 Mid-level-ontology.kif 21962-21968
(=>
    (instance ?G AtomicGroup)
    (exists (?M)
        (and
            (instance ?M Molecule)
            (part ?G ?M))))		 Mid-level-ontology.kif 22059-22064
(=>
    (protonNumber ?SUBSTANCE ?NUMBER)
    (=>
        (exists (?ATOM)
            (and
                (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 21978-21993


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