| (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 |
|
|