No TPTP formula. May not be expressible in strict first order. |
Food.kif 2190-2191 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 894-894 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 597-597 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 599-599 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 928-928 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 598-598 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 600-600 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 595-595 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 596-596 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2189-2189 |
DateFruit e' uma sub-classe de FoodForFn Animal |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2188-2188 |
DateFruit e' uma sub-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2375-2375 |
DateFruit e' uma sub-classe de TropicalFruit |