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 318-318 | Subway is a subclass of rail transportation system |