EnvironmentalModificationConvention - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8473-8473
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3237-3237	例環境修改公約 and 協議

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3239-3240	環境修改公約是 "Convention on the Prohibition of Military or Any Other Hostile Use of Environmental Modification Techniques" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3242-3242	環境修改公約是 "Environmental Modification" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22258-22258
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22257-22257
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22256-22256