(subclass TransitSystem PhysicalSystem) | Transportation.kif 2821-2821 | TransitSystem は PhysicalSystem の subclass では %n |
(subclass RailTransportationSystem TransitSystem) | Transportation.kif 2070-2070 | RailTransportationSystem は TransitSystem の subclass では %n |
(subclass RoadTransportationSystem TransitSystem) | Transportation.kif 2085-2085 | RoadTransportationSystem は TransitSystem の subclass では %n |
(subclass WaterTransportationSystem TransitSystem) | Transportation.kif 2878-2878 | WaterTransportationSystem は TransitSystem の subclass では %n |
(subclass UniModalTransitSystem TransitSystem) | Transportation.kif 2888-2888 | UniModalTransitSystem は TransitSystem の subclass では %n |
(subclass MultiModalTransitSystem TransitSystem) | Transportation.kif 2893-2893 | MultiModalTransitSystem は TransitSystem の subclass では %n |