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 1028-1030
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2111-2111
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1650-1650
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.	Merge.kif 1027-1027	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 19527-19527	Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 821-821
No TPTP formula. May not be expressible in strict first order.	english_format.kif 849-849

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27043-27047	If an object is an instance of actinium and the object is an instance of atom, then the measure of the object is 227 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25785-25789	If an object is an instance of aluminum and the object is an instance of atom, then the measure of the object is 26.9815 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27143-27147	If an object is an instance of americium and the object is an instance of atom, then the measure of the object is 243 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26381-26385	If an object is an instance of antimony and the object is an instance of atom, then the measure of the object is 121.75 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25863-25867	If an object is an instance of argon and the object is an instance of atom, then the measure of the object is 39.948 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26096-26100	If an object is an instance of arsenic and the object is an instance of atom, then the measure of the object is 74.922 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26980-26984	If an object is an instance of astatine and the object is an instance of atom, then the measure of the object is 210 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26470-26474	If an object is an instance of barium and the object is an instance of atom, then the measure of the object is 137.34 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27175-27179	If an object is an instance of berkelium and the object is an instance of atom, then the measure of the object is 247 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25634-25638	If an object is an instance of beryllium and the object is an instance of atom, then the measure of the object is 9.0122 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26947-26951	If an object is an instance of bismuth and the object is an instance of atom, then the measure of the object is 208.980 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25649-25653	If an object is an instance of boron and the object is an instance of atom, then the measure of the object is 10.811 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26125-26129	If an object is an instance of bromine and the object is an instance of atom, then the measure of the object is 79.909 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26336-26340	If an object is an instance of cadmium and the object is an instance of atom, then the measure of the object is 112.40 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26445-26449	If an object is an instance of caesium and the object is an instance of atom, then the measure of the object is 132.90545 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25892-25896	If an object is an instance of calcium and the object is an instance of atom, then the measure of the object is 40.08 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27191-27195	If an object is an instance of californium and the object is an instance of atom, then the measure of the object is 249 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25667-25671	If an object is an instance of carbon and the object is an instance of atom, then the measure of the object is 12.01115 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26504-26508	If an object is an instance of cerium and the object is an instance of atom, then the measure of the object is 140.12 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25847-25851	If an object is an instance of chlorine and the object is an instance of atom, then the measure of the object is 35.453 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25962-25966	If an object is an instance of chromium and the object is an instance of atom, then the measure of the object is 51.996 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26005-26009	If an object is an instance of cobalt and the object is an instance of atom, then the measure of the object is 58.993 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26034-26038	If an object is an instance of copper and the object is an instance of atom, then the measure of the object is 63.54 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27159-27163	If an object is an instance of curium and the object is an instance of atom, then the measure of the object is 247 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26644-26648	If an object is an instance of dysprosium and the object is an instance of atom, then the measure of the object 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 846-861	If an object is an instance of CarbonDioxide 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 12747-12759	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 19566-19579	If a positive integer is an electron number of a pure substance, then if an 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 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 19584-19592	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 14499-14508	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 1057-1062	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 19545-19556	If a positive integer is a proton number of a pure substance, then if an 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 the positive integer is equal to the number of instances in the class described by a 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: