AirTransportationSystem |
appearance as argument number 1 |
(subclass AirTransportationSystem TransitSystem) | Transportation.kif 2929-2929 | AirTransportationSystem is a subclass of transit system |
antecedent |
(=> (and (instance ?A AirTransportationSystem) (routeInSystem ?A ?P)) (instance ?P AirTransitway)) |
Transportation.kif 2933-2937 |
|