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 6821-6822
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 6819-6819 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 27043-27047
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25785-25789
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27143-27147
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26381-26385
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25863-25867
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26096-26100
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26980-26984
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26470-26474
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27175-27179
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25634-25638
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26947-26951
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25649-25653
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26125-26129
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26336-26340
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26445-26449
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25892-25896
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27191-27195
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25667-25671
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26504-26508
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25847-25851
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25962-25966
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26005-26009
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26034-26038
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27159-27163
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26644-26648

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 6824-6826 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners