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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PollutionIssue

 Sigma KEE - PollutionIssue
PollutionIssue(污染問題)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 8659-8659
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9554-9554
No TPTP formula. May not be expressible in strict first order. Geography.kif 6842-6842 子類 污染問題 and 環境問題

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6835-6835 例 空氣污染問題 and 污染問題
No TPTP formula. May not be expressible in strict first order. Geography.kif 6843-6843 例 工業污染問題 and 污染問題
No TPTP formula. May not be expressible in strict first order. Geography.kif 6865-6865 例 核環境問題 and 污染問題
No TPTP formula. May not be expressible in strict first order. Geography.kif 6866-6866 例 石油污染問題 and 污染問題
No TPTP formula. May not be expressible in strict first order. Geography.kif 6845-6845 例 電廠排放問題 and 污染問題
No TPTP formula. May not be expressible in strict first order. Geography.kif 6847-6847 例 原污水污染問題 and 污染問題
No TPTP formula. May not be expressible in strict first order. Geography.kif 6836-6836 例 土壤污染問題 and 污染問題
No TPTP formula. May not be expressible in strict first order. Geography.kif 6851-6851 例 固體廢物處理問題 and 污染問題
No TPTP formula. May not be expressible in strict first order. Geography.kif 6864-6864 例 有毒化學污染問題 and 污染問題
No TPTP formula. May not be expressible in strict first order. Geography.kif 6846-6846 例 有毒廢物處理問題 and 污染問題
No TPTP formula. May not be expressible in strict first order. Geography.kif 6844-6844 例 車輛排放問題 and 污染問題
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46567-46567
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46566-46566
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46565-46565


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