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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Amu

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 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 28812-28816
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27478-27482
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28918-28922
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28112-28116
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27561-27565
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27809-27813
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28745-28749
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28206-28210
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28952-28956
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27318-27322
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28710-28714
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27334-27338
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27840-27844
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28064-28068
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28180-28184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27592-27596
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28969-28973
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27353-27357
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28242-28246
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27544-27548
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27666-27670
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27712-27716
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27743-27747
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28935-28939
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28390-28394

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