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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfTemperature
UnitOfTemperature

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2417-2418
No TPTP formula. May not be expressible in strict first order. Merge.kif 6052-6054
No TPTP formula. May not be expressible in strict first order. Merge.kif 6050-6050 UnitOfTemperature is a subclass of NonCompositeUnitOfMeasure

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6778-6778 Celsius degree is an instance of UnitOfTemperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 7097-7097 Fahrenheit degree is an instance of UnitOfTemperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 6509-6509 Kelvin degree is an instance of UnitOfTemperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 7087-7087 Rankine degree is an instance of UnitOfTemperature

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13271-13284
No TPTP formula. May not be expressible in strict first order. Merge.kif 6137-6141
No TPTP formula. May not be expressible in strict first order. Merge.kif 13261-13269
No TPTP formula. May not be expressible in strict first order. Merge.kif 13377-13389
No TPTP formula. May not be expressible in strict first order. Merge.kif 13293-13308
No TPTP formula. May not be expressible in strict first order. Merge.kif 13310-13323
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3593-3606
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3621-3634
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3646-3659
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3672-3685

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25062-25077


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