(subclass TransitTerminal StationaryArtifact) | Transportation.kif 3090-3090 | Transit terminal is a subclass of stationary artifact |
(subclass Airport TransitTerminal) | Transportation.kif 1265-1265 | Airport is a subclass of transit terminal |
(subclass Heliport TransitTerminal) | Transportation.kif 1508-1508 | Heliport is a subclass of transit terminal |
(subclass RailwayTerminal TransitTerminal) | Transportation.kif 2085-2085 | Railway terminal is a subclass of transit terminal |
(subclass TrainStation TransitTerminal) | Transportation.kif 3097-3097 | Train station is a subclass of transit terminal |