No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2165-2165 | ElectrifiedRailwayCar est une sous-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2166-2166 | ElectrifiedRailwayCar est une sous-classe de PoweredVehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2167-2167 | ElectrifiedRailwayCar est une sous-classe de ElectricDevice |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2209-2209 | Streetcar est une sous-classe de ElectrifiedRailwayCar |
![]() |