DeepDraftPort - Sigma Knowledge base Browser

appearance as argument number 1

Deep draft port is a subclass of port city

appearance as argument number 2

(termFormat EnglishLanguage DeepDraftPort "deep draft port")	domainEnglishFormat.kif 18852-18852
(termFormat ChineseTraditionalLanguage DeepDraftPort "深水港")	domainEnglishFormat.kif 18853-18853
(termFormat ChineseLanguage DeepDraftPort "深水港")	domainEnglishFormat.kif 18854-18854

antecedent

(=>
    (instance ?PORT DeepDraftPort)
    (exists (?HARBOR)
        (and
            (instance ?HARBOR DeepDraftHarbor)
            (geographicSubregion ?HARBOR ?PORT))))

If X is an instance of deep draft port, then there exists Y such that Y is an instance of deep draft harbor and Y is a geographic subregion of X