No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6680-6681 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6751-6751 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7492-7492 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6677-6677 |
Pampa est une sous-classe de Grassland |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6678-6678 |
Pampa est une sous-classe de Plain |