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

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