DeepDraftHarbor - Sigma Knowledge base Browser

appearance as argument number 1

(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
(subclass DeepDraftHarbor Harbor)	Transportation.kif 895-895	Deep draft harbor is a subclass of harbor

appearance as argument number 2

(termFormat ChineseLanguage DeepDraftHarbor "深海港口")	domainEnglishFormat.kif 18862-18862
(termFormat ChineseTraditionalLanguage DeepDraftHarbor "深海港口")	domainEnglishFormat.kif 18861-18861
(termFormat EnglishLanguage DeepDraftHarbor "deep draft harbor")	domainEnglishFormat.kif 18860-18860

antecedent

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

consequent

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

Transportation.kif 888-893