No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2854-2854 | Transit system is a subclass of physical system |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2070-2070 | Rail transportation system is a subclass of transit system |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2091-2091 | Road transportation system is a subclass of transit system |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2917-2917 | Water transportation system is a subclass of transit system |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2929-2929 | AirTransportationSystem is a subclass of transit system |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2939-2939 | Uni modal transit system is a subclass of transit system |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2944-2944 | Multi modal transit system is a subclass of transit system |