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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6721-6721 Celsius degree is an instance of UnitOfTemperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 7036-7036 Fahrenheit degree is an instance of UnitOfTemperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 6452-6452 Kelvin degree is an instance of UnitOfTemperature
No TPTP formula. May not be expressible in strict first order. Merge.kif 7026-7026 Rankine degree is an instance of UnitOfTemperature

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12862-12875
No TPTP formula. May not be expressible in strict first order. Merge.kif 6084-6088
No TPTP formula. May not be expressible in strict first order. Merge.kif 12852-12860
No TPTP formula. May not be expressible in strict first order. Merge.kif 12968-12980
No TPTP formula. May not be expressible in strict first order. Merge.kif 12884-12899
No TPTP formula. May not be expressible in strict first order. Merge.kif 12901-12914
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3600-3613
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3628-3641
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3653-3666
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3679-3692

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


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


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