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 污染问题 是 环境问题 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6835-6835 空气污染问题 是 污染问题 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6843-6843 工业污染问题 是 污染问题 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6865-6865 核环境问题 是 污染问题 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6866-6866 石油污染问题 是 污染问题 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6845-6845 电厂排放问题 是 污染问题 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6847-6847 原污水污染问题 是 污染问题 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6836-6836 土壤污染问题 是 污染问题 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6851-6851 固体废物处理问题 是 污染问题 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6864-6864 有毒化学污染问题 是 污染问题 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6846-6846 有毒废物处理问题 是 污染问题 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6844-6844 车辆排放问题 是 污染问题 的 instance
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