No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3221-3221 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3223-3223 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3002-3002 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3222-3222 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6374-6374 |
TemperateRainForest est une sous-classe de RainForest |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6373-6373 |
TemperateRainForest est une sous-classe de TemperateHardwoodForest |