EndangeredSpeciesConvention - Sigma Knowledge base Browser

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	例瀕危物種公約 and 協議

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