Molecule - Sigma Knowledge base Browser

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 15711-15714
(externalImage Molecule "http://upload.wikimedia.org/wikipedia/commons/a/ a4/ Atisane3.png")	pictureList.kif 6707-6707
(subclass Molecule CompoundSubstance)	Merge.kif 15710-15710	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 21673-21673	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
(termFormat EnglishLanguage Molecule "molecule")	english_format.kif 1305-1305
(termFormat FrenchLanguage Molecule "mol�cule")	french_format.kif 725-725
(termFormat Hindi Molecule "mOlikyUla")	terms-hindi.txt 256-256
(termFormat ItalianLanguage Molecule "Molecola")	terms-it.txt 259-259
(termFormat JapaneseLanguage Molecule "分子")	japanese_format.kif 2409-2409
(termFormat PortugueseLanguage Molecule "Molecula")	portuguese_format.kif 677-677
(termFormat cz Molecule "molecule")	terms-cz.txt 295-295
(termFormat ro Molecule "moleculã")	relations-ro.kif 746-746
(termFormat tg Molecule "maliit na butil")	terms-tg.txt 260-260

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	If an object is an instance of carbon dioxide and the object is an instance of molecule, then there exist another object, a third object and a fourth object such that the other object is an instance of carbon and the third object is an instance of oxygen and the fourth object is an instance of oxygen and the other object is an instance of atom and the third object is an instance of atom and the fourth object is an instance of atom and the other object is a part of the object and the third object is a part of the object and the fourth object is a part of the object and the third object is not equal to the fourth object
(=> (and (instance ?COMPOUND OrganicCompound) (instance ?COMPOUND Molecule)) (exists (?CARBON) (and (instance ?CARBON Carbon) (part ?CARBON ?COMPOUND))))	Mid-level-ontology.kif 8590-8597	If an object is an instance of organic compound and the object is an instance of molecule, then there exists another object such that the other object is an instance of carbon and the other object is a part of the object
(=> (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	If an object is an instance of hydrocarbon and the object is an instance of molecule, then there exist another object and a third object such that the other object is an instance of hydrogen and the third object is an instance of carbon and the other object is a part of the object and the third object is a part of the object
(=> (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 15716-15725	If an object is an instance of molecule, then there exist another object and a third object such that the other object is an instance of atom and the third object is an instance of atom and the other object is a part of the object and the third object is a part of the object and the other object is not equal to the third object

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 21740-21755	If a positive integer is an electron number of a pure substance, then if there exists an object such that the object is a part of the pure substance and the object is an instance of atom or the object is an instance of molecule, then there exists a symbolic string such that the positive integer is equal to the number of instances in the class described by the symbolic string
(=> (instance ?A FreeAtom) (not (exists (?M) (and (instance ?M Molecule) (part ?A ?M)))))	Mid-level-ontology.kif 21699-21705	If an object is an instance of free atom, then there doesn't exist another object such that the other object is an instance of molecule and the object is a part of the other object
(=> (instance ?G AtomicGroup) (exists (?M) (and (instance ?M Molecule) (part ?G ?M))))	Mid-level-ontology.kif 21796-21801	If an object is an instance of atomic group, then there exists another object such that the other object is an instance of molecule and the object is a part of the other object
(=> (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 21715-21730	If a positive integer is a proton number of a pure substance, then if there exists an object such that the object is a part of the pure substance and the object is an instance of atom or the object is an instance of molecule, then there exists a symbolic string such that the positive integer is equal to the number of instances in the class described by the symbolic string

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