No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10115-10115 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11418-11418 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11419-11419 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11417-11417 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11416-11416 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11420-11420 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2607-2607 |
Medium biodiversity is an instance of biodiversity attribute |