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

Formal Language: 



KB Term:  Term intersection
English Word: 

  airQualityIndex

 Sigma KEE - airQualityIndex
airQualityIndex

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 3094-3097
No TPTP formula. May not be expressible in strict first order. Weather.kif 3092-3092 O argumento numero 1 de airQualityIndex e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order. Weather.kif 3093-3093 O argumento numero 2 de airQualityIndex e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order. Weather.kif 3091-3091 airQualityIndex e' uma instancia de Predicado Binario

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


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

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 3109-3114
No TPTP formula. May not be expressible in strict first order. Weather.kif 3178-3183
No TPTP formula. May not be expressible in strict first order. Weather.kif 3122-3129
No TPTP formula. May not be expressible in strict first order. Weather.kif 3150-3157
No TPTP formula. May not be expressible in strict first order. Weather.kif 3164-3171
No TPTP formula. May not be expressible in strict first order. Weather.kif 3136-3143


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