No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2096-2096 |
RoadVehicle e' disjunto de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2150-2150 |
CabCar e' uma sub-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2165-2165 |
ElectrifiedRailwayCar e' uma sub-classe de RollingStock |
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 2185-2185 |
HeadEndCar e' uma sub-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2115-2115 |
Locomotive e' uma sub-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2194-2194 |
LocomotiveCoalCar e' uma sub-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2110-2110 |
MotorizedRailwayCar e' uma sub-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2156-2156 |
OutfitCar e' uma sub-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2122-2122 |
PassengerRailcar e' uma sub-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2215-2215 |
PrivateRailcar e' uma sub-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2074-2074 |
Railcar e' uma sub-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2223-2223 |
ScaleTestCar e' uma sub-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2208-2208 |
Streetcar e' uma sub-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50300-50300 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50299-50299 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50298-50298 |
|