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. Merge.kif 6445-6446
No TPTP formula. May not be expressible in strict first order. Merge.kif 6442-6444
No TPTP formula. May not be expressible in strict first order. Merge.kif 6441-6441 UnitOfTemperature is a subclass of NonCompositeUnitOfMeasure

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7258-7258 Celsius degree is an instance of UnitOfTemperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 7597-7597 Fahrenheit degree is an instance of UnitOfTemperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 6951-6951 Kelvin degree is an instance of UnitOfTemperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 7586-7586 Rankine degree is an instance of UnitOfTemperature

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13830-13843
No TPTP formula. May not be expressible in strict first order. Merge.kif 6539-6543
No TPTP formula. May not be expressible in strict first order. Merge.kif 13820-13828
No TPTP formula. May not be expressible in strict first order. Merge.kif 13944-13956
No TPTP formula. May not be expressible in strict first order. Merge.kif 13854-13869
No TPTP formula. May not be expressible in strict first order. Merge.kif 13871-13884


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners