No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1966-1966 | Bus est une sous-classe de SelfPoweredRoadVehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1967-1967 | Bus est une sous-classe de PassengerVehicle |