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	Environmental modification convention is an instance of agreement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3239-3240	Environmental modification convention is a conventional long name of "Convention on the Prohibition of Military or Any Other Hostile Use of Environmental Modification Techniques"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3242-3242	Environmental modification convention is a conventional short name of "Environmental Modification"
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