Port
| Basic: |
| A port is a type of city. |
| Documentation: |
| Comment: A specialization of City . Each instance of #$PortCity is a city that borders on some instance of Harbor (q.v.). Each instance of #$PortCity will contain at least one instance of Seaport (q.v.). |
| Structure: |
| Some sea port is in every port. |
| Miscellaneous: |
| Every port is adjacent to some harbor. Some dock is located in every port. Some port is located in every port. Every port is located in some port. The concept "port" is conceptually related to the concept "port". The concept "customs house" is conceptually related to the concept "port". |