LowBiodiversity - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11385-11385
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11384-11384
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11383-11383
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11386-11386
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11382-11382
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10104-10104
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11387-11387
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2606-2606	Low biodiversity is an instance of biodiversity attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35117-35117
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35116-35116
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35115-35115