DeepDraftHarbor
|
|
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 18846-18846 | |
(termFormat ChineseTraditionalLanguage DeepDraftHarbor "深海港口") | domainEnglishFormat.kif 18845-18845 | |
(termFormat EnglishLanguage DeepDraftHarbor "deep draft harbor") | domainEnglishFormat.kif 18844-18844 |
antecedent |
(=> (instance ?HARBOR DeepDraftHarbor) (navigableForDraft ?HARBOR (MeasureFn 13.7 Meter))) |
Transportation.kif 900-902 |
|
(=> (instance ?HARBOR DeepDraftHarbor) (navigableForDraft ?HARBOR (MeasureFn 45 FootLength))) |
Transportation.kif 904-906 |
|
consequent |
(=> (instance ?PORT DeepDraftPort) (exists (?HARBOR) (and (instance ?HARBOR DeepDraftHarbor) (geographicSubregion ?HARBOR ?PORT)))) |
Transportation.kif 888-893 |
|