No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1846-1846 | Wagon est une sous-classe de LandVehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1847-1847 | Wagon est une sous-classe de UnpoweredVehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1841-1841 | TruckTrailer est une sous-classe de Wagon |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1866-1866 | StageCoach est une sous-classe de Wagon |