No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2034-2034 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 405-405 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 407-407 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1450-1450 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 411-411 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 399-399 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 409-409 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 410-410 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 401-401 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 403-403 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 398-398 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 404-404 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 402-402 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 406-406 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 400-400 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 412-412 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 408-408 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 413-413 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2033-2033 |
Rail vehicle is a subclass of land vehicle |