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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3577-3578
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15665-15668
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6707-6707
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15664-15664	Molecule is a subclass of compound substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 498-498	Amphipathic molecule is a subclass of molecule
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21646-21646	Caffeine is a subclass of molecule
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 44-44	Monomer is a subclass of molecule
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 64-64	Polymer is a subclass of molecule
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1112-1112	Viral genome is a subclass of molecule
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1047-1047
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1305-1305
No TPTP formula. May not be expressible in strict first order.	french_format.kif 725-725
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 256-256
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 259-259
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2409-2409
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 677-677
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 295-295
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 746-746
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 260-260

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 36-36	The number 2 argument of genetic substrate of virus is an instance of molecule
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 164-164	The number 1 argument of has molecular structural attribute is an instance of molecule

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8563-8570	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15670-15679	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21713-21728	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21672-21678	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21744-21749	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21688-21703	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