(subclass PortCity City) | Transportation.kif 837-837 | PortCity は 都市 の subclass では %n |
(subclass RiverPort PortCity) | Transportation.kif 852-852 | RiverPort は PortCity の subclass では %n |
(subclass SeaPort PortCity) | Transportation.kif 868-868 | SeaPort は PortCity の subclass では %n |
(subclass ContainerPort PortCity) | Transportation.kif 884-884 | ContainerPort は PortCity の subclass では %n |
(subclass DeepDraftPort PortCity) | Transportation.kif 887-887 | DeepDraftPort は PortCity の subclass では %n |