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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FahrenheitDegree

Sigma KEE - FahrenheitDegree
FahrenheitDegree

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2612-2613
No TPTP formula. May not be expressible in strict first order. Merge.kif 7323-7326
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1325-1327
No TPTP formula. May not be expressible in strict first order. Merge.kif 7321-7321 FahrenheitDegree e' uma instancia de UnitOfTemperature

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23158-23158
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23157-23157
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23156-23156

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 6505-6529
No TPTP formula. May not be expressible in strict first order. Cars.kif 2969-2975

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 6505-6529
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6155-6163
No TPTP formula. May not be expressible in strict first order. WMD.kif 1110-1117
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31710-31721
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5645-5652

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 7013-7015 Numero Real CelsiusDegree(s) e' igual a ( Numero Real + 32.0) + 1.8 FahrenheitDegree(s)


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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