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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pollution
Pollution(污染)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2807-2808
No TPTP formula. May not be expressible in strict first order. Geography.kif 2805-2805 子類 污染 and SocialInteraction

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2479-2479 子類 空氣污染 and 污染
No TPTP formula. May not be expressible in strict first order. Geography.kif 2748-2748 子類 工業污染 and 污染
No TPTP formula. May not be expressible in strict first order. Geography.kif 2795-2795 子類 農藥污染 and 污染
No TPTP formula. May not be expressible in strict first order. Geography.kif 2961-2961 子類 車輛污染 and 污染
No TPTP formula. May not be expressible in strict first order. Geography.kif 2970-2970 子類 水污染 and 污染
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46561-46561
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46560-46560
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46559-46559


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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