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 |
日期水果 是 food for 动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2188-2188 |
日期水果 是 水果 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2375-2375 |
日期水果 是 热带水果 的 subclass |