Amu - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2586-2586
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6844-6845
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10425-10425
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9902-9902
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6842-6842	Amu is an instance of UnitOfMass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7333-7333
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7332-7332
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7331-7331

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27016-27020	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 25758-25762	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 27116-27120	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 26354-26358	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 25836-25840	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 26069-26073	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 26953-26957	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 26443-26447	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 27148-27152	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 25607-25611	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 26920-26924	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 25622-25626	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 26098-26102	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 26309-26313	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 26418-26422	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 25865-25869	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 27164-27168	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 25640-25644	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 26477-26481	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 25820-25824	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 25935-25939	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 25978-25982	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 26007-26011	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 27132-27136	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 26617-26621	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

statement

No TPTP formula. May not be expressible in strict first order.

Merge.kif 6847-6849

A real number amu(s) is equal to the real number and 1.6605402E-24 gram(s)

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: