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 |