Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Amu
Amu(amu)
atomic_mass_unit, molecular_weight, relative_molecular_mass

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 7173-7174
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 10402-10402
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9883-9883
No TPTP formula. May not be expressible in strict first order. Merge.kif 7171-7171 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 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 30731-30735
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29397-29401
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30837-30841
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30031-30035
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29480-29484
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29728-29732
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30664-30668
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30125-30129
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30871-30875
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29237-29241
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30629-30633
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29253-29257
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29759-29763
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29983-29987
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30099-30103
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29511-29515
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30888-30892
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29272-29276
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30161-30165
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29463-29467
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29585-29589
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29631-29635
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29662-29666
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30854-30858
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30309-30313

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 7177-7187 equal a real number amu(s) and the real number and 1.6605402 and 1000000.0 and 1000000.0 and 1000000.0 and 1000000.0 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