No TPTP formula. May not be expressible in strict first order. |
Food.kif 2329-2330 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 553-553 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 863-863 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2328-2328 |
LemonFruit e' uma sub-classe de FoodForFn Animal |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2327-2327 |
LemonFruit e' uma sub-classe de CitrusFruit |