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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6913-6913 Celsius degree is an instance of UnitOfTemperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 7232-7232 Fahrenheit degree is an instance of UnitOfTemperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 6644-6644 Kelvin degree is an instance of UnitOfTemperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 7222-7222 Rankine degree is an instance of UnitOfTemperature

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13614-13627
No TPTP formula. May not be expressible in strict first order. Merge.kif 6294-6298
No TPTP formula. May not be expressible in strict first order. Merge.kif 13604-13612
No TPTP formula. May not be expressible in strict first order. Merge.kif 13722-13735
No TPTP formula. May not be expressible in strict first order. Merge.kif 13636-13651
No TPTP formula. May not be expressible in strict first order. Merge.kif 13653-13666
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3592-3605
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3620-3633
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3645-3658
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3671-3684

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


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


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