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

Formal Language: 



KB Term:  Term intersection
English Word: 

  relativeHumidity

 Sigma KEE - relativeHumidity
relativeHumidity

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1022-1027
No TPTP formula. May not be expressible in strict first order. Weather.kif 1019-1019 Le nombre 1 argument de relativeHumidity est une instance de objet
No TPTP formula. May not be expressible in strict first order. Weather.kif 1020-1020 Le nombre 2 argument de relativeHumidity est une instance de nombre r�el non n�gatif
No TPTP formula. May not be expressible in strict first order. Weather.kif 1018-1018 relativeHumidity est une instance de pr�dicat binaire

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2139-2139
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2138-2138
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2137-2137
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49340-49340
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49339-49339
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49338-49338

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1029-1034


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