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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfMass

Sigma KEE - UnitOfMass
UnitOfMass

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 6171-6174
No TPTP formula. May not be expressible in strict first order. Merge.kif 6169-6169 UnitOfMass is a subclass of NonCompositeUnitOfMeasure

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7056-7056 Amu is an instance of UnitOfMass
No TPTP formula. May not be expressible in strict first order. Merge.kif 7173-7173 Atom gram is an instance of UnitOfMass
No TPTP formula. May not be expressible in strict first order. Merge.kif 6610-6610 Gram is an instance of UnitOfMass
No TPTP formula. May not be expressible in strict first order. Merge.kif 7187-7187 Kilogram is an instance of UnitOfMass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13083-13083 Long ton is an instance of UnitOfMass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13067-13067 Metric ton is an instance of UnitOfMass
No TPTP formula. May not be expressible in strict first order. Merge.kif 6656-6656 Mole is an instance of UnitOfMass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12787-12787 Ounce is an instance of UnitOfMass
No TPTP formula. May not be expressible in strict first order. Merge.kif 7202-7202 Pound mass is an instance of UnitOfMass
No TPTP formula. May not be expressible in strict first order. Merge.kif 7210-7210 Slug is an instance of UnitOfMass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13058-13058 Ton mass is an instance of UnitOfMass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7489-7489 The number 3 argument of AmountsFn is an instance of UnitOfMass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6274-6278
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