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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6584-6584 Celsius degree is an instance of UnitOfTemperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 6897-6897 Fahrenheit degree is an instance of UnitOfTemperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 6315-6315 Kelvin degree is an instance of UnitOfTemperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 6887-6887 Rankine degree is an instance of UnitOfTemperature

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12709-12722
No TPTP formula. May not be expressible in strict first order. Merge.kif 5948-5952
No TPTP formula. May not be expressible in strict first order. Merge.kif 12699-12707
No TPTP formula. May not be expressible in strict first order. Merge.kif 12815-12827
No TPTP formula. May not be expressible in strict first order. Merge.kif 12731-12746
No TPTP formula. May not be expressible in strict first order. Merge.kif 12748-12761


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