No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6674-6675 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6787-6787 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7636-7636 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6671-6671 |
Prairie est une sous-classe de Grassland |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6672-6672 |
Prairie est une sous-classe de Plain |