DeepDraftHarbor - Sigma Knowledge base Browser

appearance as argument number 1

(subclass DeepDraftHarbor Harbor)	Transportation.kif 895-895	Deep draft harbor is a subclass of harbor
(documentation DeepDraftHarbor EnglishLanguage "DeepDraftHarbor is the subclass of Harbors that have a waterDepth sufficient to accommodate vessels of a ladenDraft of 45 feet (13.7 meters) or greater.")	Transportation.kif 896-898	Deep draft harbor is a subclass of harbor

appearance as argument number 2

(termFormat EnglishLanguage DeepDraftHarbor "deep draft harbor")	domainEnglishFormat.kif 18846-18846
(termFormat ChineseTraditionalLanguage DeepDraftHarbor "深海港口")	domainEnglishFormat.kif 18847-18847
(termFormat ChineseLanguage DeepDraftHarbor "深海港口")	domainEnglishFormat.kif 18848-18848

antecedent

(=> (instance ?HARBOR DeepDraftHarbor) (navigableForDraft ?HARBOR (MeasureFn 13.7 Meter)))	Transportation.kif 900-902	If X is an instance of deep draft harbor, then 13.7 meter(s) is a navigable for draft of X
(=> (instance ?HARBOR DeepDraftHarbor) (navigableForDraft ?HARBOR (MeasureFn 45 FootLength)))	Transportation.kif 904-906	If X is an instance of deep draft harbor, then 45 foot length(s) is a navigable for draft of X

consequent

(=>
    (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