No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2144-2144 |
Boxcar e' uma sub-classe de FreightCar |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2172-2172 |
FiveWellStackCar e' uma sub-classe de FreightCar |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2176-2176 |
Flatcar e' uma sub-classe de FreightCar |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2190-2190 |
HydraCushionFreightCar e' uma sub-classe de FreightCar |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2199-2199 |
OpenTopRailcar e' uma sub-classe de FreightCar |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2232-2232 |
TankCar e' uma sub-classe de FreightCar |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24920-24920 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24919-24919 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24918-24918 |
|