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	濒危物种公约是协议的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3235-3235	濒危物种公约是 "CITES" 的简称
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3231-3232	濒危物种公约是 "Convention on the International Trade in Endangered Species of Wild Flora and Fauna" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3234-3234	濒危物种公约是 "EndangeredSpecies" 的 conventional 简称
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