No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 205-205 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 163-163 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 224-224 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 175-175 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 197-197 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 165-165 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 194-194 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 215-215 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 217-217 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 214-214 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 227-227 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 174-174 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 216-216 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 199-199 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 189-189 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 190-190 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 187-187 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 220-220 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4905-4905 |
Goat est une sous-classe de ongul� |