No TPTP formula. May not be expressible in strict first order. |
Food.kif 2343-2344 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 870-870 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 906-906 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 933-933 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2342-2342 |
OrangeFruit e' uma sub-classe de FoodForFn Animal |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2341-2341 |
OrangeFruit e' uma sub-classe de CitrusFruit |