No TPTP formula. May not be expressible in strict first order. |
Food.kif 2372-2373 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 892-892 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 607-607 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 856-856 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 601-601 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 605-605 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 608-608 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 604-604 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 606-606 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 603-603 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 602-602 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2371-2371 |
Coconut e' uma sub-classe de FoodForFn Animal |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2370-2370 |
Coconut e' uma sub-classe de TropicalFruit |