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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfMass

Sigma KEE - UnitOfMass
UnitOfMass(unit of mass)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4064-4064
No TPTP formula. May not be expressible in strict first order. Merge.kif 6261-6264
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1093-1095
No TPTP formula. May not be expressible in strict first order. Merge.kif 6259-6259 Unit of mass is a subclass of non composite unit of measure

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 7146-7146 Amu is an instance of unit of mass
No TPTP formula. May not be expressible in strict first order. Merge.kif 7263-7263 Atom gram is an instance of unit of mass
No TPTP formula. May not be expressible in strict first order. Merge.kif 6700-6700 Gram is an instance of unit of mass
No TPTP formula. May not be expressible in strict first order. Merge.kif 7277-7277 Kilogram is an instance of unit of mass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13613-13613 Long ton is an instance of unit of mass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13597-13597 Metric ton is an instance of unit of mass
No TPTP formula. May not be expressible in strict first order. Merge.kif 6746-6746 Mole is an instance of unit of mass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13322-13322 Ounce is an instance of unit of mass
No TPTP formula. May not be expressible in strict first order. Merge.kif 7292-7292 Pound mass is an instance of unit of mass
No TPTP formula. May not be expressible in strict first order. Merge.kif 7300-7300 Slug is an instance of unit of mass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13588-13588 Ton mass is an instance of unit of mass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65659-65659

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 7579-7579 The number 3 argument of Amounts fn is an instance of unit of mass

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6364-6368
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1013-1017
No TPTP formula. May not be expressible in strict first order. Transportation.kif 996-1000

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 803-810
No TPTP formula. May not be expressible in strict first order. WMD.kif 860-867


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