| (subclass PortCity City) | Transportation.kif 837-837 | PortCity est une sous-classe de ville |
| (subclass RiverPort PortCity) | Transportation.kif 852-852 | RiverPort est une sous-classe de PortCity |
| (subclass SeaPort PortCity) | Transportation.kif 868-868 | SeaPort est une sous-classe de PortCity |
| (subclass ContainerPort PortCity) | Transportation.kif 884-884 | ContainerPort est une sous-classe de PortCity |
| (subclass DeepDraftPort PortCity) | Transportation.kif 887-887 | DeepDraftPort est une sous-classe de PortCity |
|
|