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 3077-3080
No TPTP formula. May not be expressible in strict first order. Weather.kif 3075-3075 域 airQualityIndex, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Weather.kif 3076-3076 域 airQualityIndex, 2 and Integer
No TPTP formula. May not be expressible in strict first order. Weather.kif 3074-3074 例 airQualityIndex and BinaryPredicate

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


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

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 3092-3097
No TPTP formula. May not be expressible in strict first order. Weather.kif 3161-3166
No TPTP formula. May not be expressible in strict first order. Weather.kif 3105-3112
No TPTP formula. May not be expressible in strict first order. Weather.kif 3133-3140
No TPTP formula. May not be expressible in strict first order. Weather.kif 3147-3154
No TPTP formula. May not be expressible in strict first order. Weather.kif 3119-3126


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