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 3090-3093
No TPTP formula. May not be expressible in strict first order. Weather.kif 3088-3088 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 3089-3089 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 3087-3087 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 3094-3094

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 3105-3110
No TPTP formula. May not be expressible in strict first order. Weather.kif 3174-3179
No TPTP formula. May not be expressible in strict first order. Weather.kif 3118-3125
No TPTP formula. May not be expressible in strict first order. Weather.kif 3146-3153
No TPTP formula. May not be expressible in strict first order. Weather.kif 3160-3167
No TPTP formula. May not be expressible in strict first order. Weather.kif 3132-3139


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