TreeView Knowledge Base Browser - EndangeredSpeciesConvention

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8469-8469
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9181-9181
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9182-9182
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3229-3229	Endangered species convention is an instance of agreement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3235-3235	"CITES" is an abbreviation of endangered species convention
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3231-3232	Endangered species convention is a conventional long name of "Convention on the International Trade in Endangered Species of Wild Flora and Fauna"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3234-3234	Endangered species convention is a conventional short name of "EndangeredSpecies"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22030-22030
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22029-22029
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22028-22028