| (subclass Transitway Region) | Merge.kif 14418-14418 | Transitway is a subclass of region |
| (subclass Transitway SelfConnectedObject) | Merge.kif 14419-14419 | Transitway is a subclass of self connected object |
| (subclass Pipeline Transitway) | Transportation.kif 773-773 | Pipeline is a subclass of transitway |
| (subclass AirTransitway Transitway) | Transportation.kif 1247-1247 | Air transitway is a subclass of transitway |
| (subclass TransitwayJunction Transitway) | Transportation.kif 3800-3800 | Transitway junction is a subclass of transitway |
| (subclass Airway Transitway) | Mid-level-ontology.kif 13048-13048 | Airway is a subclass of transitway |
| (subclass LandTransitway Transitway) | Merge.kif 14437-14437 | Land transitway is a subclass of transitway |
| (subclass Waterway Transitway) | Geography.kif 5879-5879 | Waterway is a subclass of transitway |
|
|