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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AirPollutionIssue

 Sigma KEE - AirPollutionIssue
AirPollutionIssue(空氣污染問題)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 2079-2079
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1626-1626
No TPTP formula. May not be expressible in strict first order. Geography.kif 6835-6835 例 空氣污染問題 and 污染問題

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6875-6875 子屬性 碳氫排放問題 and 空氣污染問題
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6216-6216
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6215-6215
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6214-6214


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