No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2139-2139 | FreightCar est une sous-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2144-2144 | Boxcar est une sous-classe de FreightCar |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2172-2172 | FiveWellStackCar est une sous-classe de FreightCar |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2176-2176 | Flatcar est une sous-classe de FreightCar |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2190-2190 | HydraCushionFreightCar est une sous-classe de FreightCar |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2199-2199 | OpenTopRailcar est une sous-classe de FreightCar |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2232-2232 | TankCar est une sous-classe de FreightCar |