No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2139-2139 | FreightCar e' uma sub-classe de RollingStock |
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 |
![]() |