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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AirPollution-Sulphur85Protocol

Sigma KEE - AirPollution-Sulphur85Protocol
AirPollution-Sulphur85Protocol(空气污染 - sulphur85协议)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3155-3155 空气污染 - sulphur85协议协议instance

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3157-3159 空气污染 - sulphur85协议 是 "Protocol to the 1979 Convention on Long-Range Transboundary Air Pollution on the Reduction of Sulphur Emissions or Their Transboundary Fluxes by at least 30%" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6192-6192
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6191-6191
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6190-6190


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