No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2117-2120 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2595-2595 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2596-2596 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2597-2597 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2849-2849 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2486-2486 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2593-2593 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2116-2116 |
Locomotive e' uma sub-classe de PoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2115-2115 |
Locomotive e' uma sub-classe de RollingStock |