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	EnvironmentalModificationConvention e' uma instancia de Agreement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3239-3240	conventionalLongName "Convention on the Prohibition of Military or Any Other Hostile Use of Environmental Modification Techniques" and EnvironmentalModificationConvention
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3242-3242	conventionalShortName "Environmental Modification" and EnvironmentalModificationConvention
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