TreeView Knowledge Base Browser - EnvironmentalModificationConvention

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	环境修改公约是协议的 instance

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