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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfTemperature
UnitOfTemperature(unit of temperature)

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 6322-6324
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1104-1106
No TPTP formula. May not be expressible in strict first order. Merge.kif 6320-6320 Unit of temperature is a subclass of non composite unit of measure

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7026-7026 Celsius degree is an instance of unit of temperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 7364-7364 Fahrenheit degree is an instance of unit of temperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 6757-6757 Kelvin degree is an instance of unit of temperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 7354-7354 Rankine degree is an instance of unit of temperature
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65655-65655 Rankine degree is an instance of unit of temperature

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13994-14007
No TPTP formula. May not be expressible in strict first order. Merge.kif 6407-6411
No TPTP formula. May not be expressible in strict first order. Merge.kif 13984-13992
No TPTP formula. May not be expressible in strict first order. Merge.kif 14106-14119
No TPTP formula. May not be expressible in strict first order. Merge.kif 14016-14031
No TPTP formula. May not be expressible in strict first order. Merge.kif 14033-14046
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3624-3637
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3652-3665
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3677-3690
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3703-3716

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


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


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