EndangeredSpecies - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30333-30336
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30329-30329
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30325-30326
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30322-30322
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5986-5986
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6472-6472
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6473-6473
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6474-6474
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6475-6475
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6476-6476
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6478-6478
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30331-30331	例瀕危物種 and ConservationStatus

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30421-30421	屬性 Rhinoceros and 瀕危物種
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30401-30401	屬性 Tiger and 瀕危物種
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22024-22024
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22023-22023
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22022-22022