TreeView 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 7148-7149
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1293-1294
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10404-10404
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9884-9884
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7146-7146	Amu is an instance of unit of mass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7326-7326
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7325-7325
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7324-7324

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28800-28804	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 27466-27470	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 28906-28910	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 28100-28104	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 27549-27553	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 27797-27801	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 28733-28737	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 28194-28198	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 28940-28944	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 27306-27310	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 28698-28702	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 27322-27326	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 27828-27832	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 28052-28056	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 28168-28172	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 27580-27584	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 28957-28961	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 27341-27345	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 28230-28234	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 27532-27536	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 27654-27658	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 27700-27704	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 27731-27735	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 28923-28927	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 28378-28382	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

statement

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

Merge.kif 7151-7153

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: