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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6680-6680 Celsius degree is an instance of UnitOfTemperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 6993-6993 Fahrenheit degree is an instance of UnitOfTemperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 6411-6411 Kelvin degree is an instance of UnitOfTemperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 6983-6983 Rankine degree is an instance of UnitOfTemperature

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12810-12823
No TPTP formula. May not be expressible in strict first order. Merge.kif 6044-6048
No TPTP formula. May not be expressible in strict first order. Merge.kif 12800-12808
No TPTP formula. May not be expressible in strict first order. Merge.kif 12916-12928
No TPTP formula. May not be expressible in strict first order. Merge.kif 12832-12847
No TPTP formula. May not be expressible in strict first order. Merge.kif 12849-12862


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