No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1823-1823 |
Trailer e' disjunto de AgentPoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1822-1822 |
Trailer e' disjunto de PoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1824-1825 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 575-575 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1272-1272 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 574-574 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1820-1820 |
Trailer e' uma sub-classe de RoadVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1821-1821 |
Trailer e' uma sub-classe de UnpoweredVehicle |