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 5982-5984
No TPTP formula. May not be expressible in strict first order. Merge.kif 5980-5980 UnitOfTemperature is a subclass of NonCompositeUnitOfMeasure

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6703-6703 Celsius degree is an instance of UnitOfTemperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 7016-7016 Fahrenheit degree is an instance of UnitOfTemperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 6434-6434 Kelvin degree is an instance of UnitOfTemperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 7006-7006 Rankine degree is an instance of UnitOfTemperature

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12827-12840
No TPTP formula. May not be expressible in strict first order. Merge.kif 6067-6071
No TPTP formula. May not be expressible in strict first order. Merge.kif 12817-12825
No TPTP formula. May not be expressible in strict first order. Merge.kif 12933-12945
No TPTP formula. May not be expressible in strict first order. Merge.kif 12849-12864
No TPTP formula. May not be expressible in strict first order. Merge.kif 12866-12879


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