Atom - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1606-1608
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1104-1106
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 185-186
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 220-222
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 244-244
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2109-2109
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1648-1648
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1103-1103	Atom is a subclass of elemental substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23303-23303	Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 821-821	Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order.	english_format.kif 844-844	Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order.	french_format.kif 497-497	Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 30-30	Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 33-33	Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2182-2182	Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 449-449	Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 35-35	Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 34-34	Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 64-64	Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 323-323	Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 518-518	Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 34-34	Free atom is a subclass of atom

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30490-30494	If a physical is an instance of actinium and the physical is an instance of atom, then the measure of the physical is 227 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29156-29160	If a physical is an instance of aluminum and the physical is an instance of atom, then the measure of the physical is 26.9815 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30596-30600	If a physical is an instance of americium and the physical is an instance of atom, then the measure of the physical is 243 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29790-29794	If a physical is an instance of antimony and the physical is an instance of atom, then the measure of the physical is 121.75 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29239-29243	If a physical is an instance of argon and the physical is an instance of atom, then the measure of the physical is 39.948 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29487-29491	If a physical is an instance of arsenic and the physical is an instance of atom, then the measure of the physical is 74.922 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30423-30427	If a physical is an instance of astatine and the physical is an instance of atom, then the measure of the physical is 210 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29884-29888	If a physical is an instance of barium and the physical is an instance of atom, then the measure of the physical is 137.34 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30630-30634	If a physical is an instance of berkelium and the physical is an instance of atom, then the measure of the physical is 247 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28996-29000	If a physical is an instance of beryllium and the physical is an instance of atom, then the measure of the physical is 9.0122 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30388-30392	If a physical is an instance of bismuth and the physical is an instance of atom, then the measure of the physical is 208.980 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29012-29016	If a physical is an instance of boron and the physical is an instance of atom, then the measure of the physical is 10.811 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29518-29522	If a physical is an instance of bromine and the physical is an instance of atom, then the measure of the physical is 79.909 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29742-29746	If a physical is an instance of cadmium and the physical is an instance of atom, then the measure of the physical is 112.40 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29858-29862	If a physical is an instance of caesium and the physical is an instance of atom, then the measure of the physical is 132.90545 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29270-29274	If a physical is an instance of calcium and the physical is an instance of atom, then the measure of the physical is 40.08 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30647-30651	If a physical is an instance of californium and the physical is an instance of atom, then the measure of the physical is 249 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29031-29035	If a physical is an instance of carbon and the physical is an instance of atom, then the measure of the physical is 12.01115 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29920-29924	If a physical is an instance of cerium and the physical is an instance of atom, then the measure of the physical is 140.12 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29222-29226	If a physical is an instance of chlorine and the physical is an instance of atom, then the measure of the physical is 35.453 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29344-29348	If a physical is an instance of chromium and the physical is an instance of atom, then the measure of the physical is 51.996 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29390-29394	If a physical is an instance of cobalt and the physical is an instance of atom, then the measure of the physical is 58.993 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29421-29425	If a physical is an instance of copper and the physical is an instance of atom, then the measure of the physical is 63.54 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30613-30617	If a physical is an instance of curium and the physical is an instance of atom, then the measure of the physical is 247 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30068-30072	If a physical is an instance of dysprosium and the physical is an instance of atom, then the measure of the physical is 162.50 amu(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 3421-3436	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.	Merge.kif 13916-13928	If a positive integer is an atomic number of a kind of elemental substance, then if an object is an instance of a kind of elemental substance and another object is a part of the object and the other object is an instance of atom, then the positive integer is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23347-23362	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 23393-23401	If an object is an instance of atomic group, 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 not equal to the third object 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 15805-15814	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1133-1138	If a corpuscular object is an instance of subatomic particle, then there exists another corpuscular object such that the other corpuscular object is an instance of atom and the corpuscular object is a component of the other corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23322-23337	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

KB Term:			Term intersection

English Word: