navigableForDraft |
appearance as argument number 1 |
![]() |
(documentation navigableForDraft EnglishLanguage "(navigableForDraft ?WATERWAY ?DRAFT) means that the Waterway ?WATERWAY can be transited by vessels up to the draft ?DRAFT.") | Transportation.kif 2627-2629 | |
(domain navigableForDraft 1 WaterArea) | Transportation.kif 2624-2624 | |
(domain navigableForDraft 2 LengthMeasure) | Transportation.kif 2625-2625 | |
(instance navigableForDraft BinaryPredicate) | Transportation.kif 2623-2623 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage navigableForDraft "%2 %n 是草案 %1 的 navigable ") | domainEnglishFormat.kif 1791-1791 | |
(format ChineseTraditionalLanguage navigableForDraft "%2 %n 是草案 %1 的 navigable ") | domainEnglishFormat.kif 1790-1790 | |
(format EnglishLanguage navigableForDraft "%2 is %n a navigable for draft of %1") | domainEnglishFormat.kif 1789-1789 | |
(termFormat ChineseLanguage navigableForDraft "可通航草案") | domainEnglishFormat.kif 39961-39961 | |
(termFormat ChineseTraditionalLanguage navigableForDraft "可通航草案") | domainEnglishFormat.kif 39960-39960 | |
(termFormat EnglishLanguage navigableForDraft "navigable for draft") | domainEnglishFormat.kif 39959-39959 |
antecedent |
![]() |
(=> (and (navigableForDraft ?WATERWAY ?AMOUNT) (ladenDraft ?SHIP ?DRAFT) (greaterThan ?AMOUNT ?DRAFT)) (capability (TripFn ?SHIP) path ?WATERWAY)) |
Transportation.kif 2631-2636 | |
(=> (and (navigableForDraft ?WATERWAY ?AMOUNT) (ladenDraft ?SHIP ?DRAFT) (lessThanOrEqualTo ?AMOUNT ?DRAFT)) (not (capability (TripFn ?SHIP) path ?WATERWAY))) |
Transportation.kif 2638-2643 |
consequent |
![]() |
(=> (and (instance ?WATERWAY Waterway) (depth ?OBJ ?WATERWAY (MeasureFn ?DEPTH ?UNIT)) (instance ?UNIT UnitOfLength) (lessThan ?DRAFT ?DEPTH)) (navigableForDraft ?WATERWAY (MeasureFn ?DRAFT ?UNIT))) |
Transportation.kif 2645-2651 | |
(=> (instance ?HARBOR DeepDraftHarbor) (navigableForDraft ?HARBOR (MeasureFn 13.7 Meter))) |
Transportation.kif 889-891 | |
(=> (instance ?HARBOR DeepDraftHarbor) (navigableForDraft ?HARBOR (MeasureFn 45 FootLength))) |
Transportation.kif 893-895 |
![]() |
![]() |