No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2096-2096 |
RoadVehicle est disjoint de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2150-2150 |
CabCar est une sous-classe de RollingStock |
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 2139-2139 |
FreightCar est une sous-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2185-2185 |
HeadEndCar est une sous-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2115-2115 |
Locomotive est une sous-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2194-2194 |
LocomotiveCoalCar est une sous-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2110-2110 |
MotorizedRailwayCar est une sous-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2156-2156 |
OutfitCar est une sous-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2122-2122 |
PassengerRailcar est une sous-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2215-2215 |
PrivateRailcar est une sous-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2074-2074 |
Railcar est une sous-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2223-2223 |
ScaleTestCar est une sous-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2208-2208 |
Streetcar est une sous-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 |
|