No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2821-2821 | 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 2085-2085 | Road transportation system is a subclass of transit system |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2878-2878 | Water transportation system is a subclass of transit system |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2888-2888 | Uni modal transit system is a subclass of transit system |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2893-2893 | Multi modal transit system is a subclass of transit system |