No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5888-5888 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6173-6173 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6175-6175 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6174-6174 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6379-6379 |
BorealForest est une sous-classe de Biome |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6380-6380 |
BorealForest est une sous-classe de Forest |