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 2682-2684 | |
(domain navigableForDraft 1 WaterArea) | Transportation.kif 2679-2679 | The number 1 argument of navigable for draft is an instance of water area |
(domain navigableForDraft 2 LengthMeasure) | Transportation.kif 2680-2680 | The number 2 argument of navigable for draft is an instance of length measure |
(instance navigableForDraft BinaryPredicate) | Transportation.kif 2678-2678 | navigable for draft is an instance of binary predicate |
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 39971-39971 | |
(termFormat ChineseTraditionalLanguage navigableForDraft "可通航草案") | domainEnglishFormat.kif 39970-39970 | |
(termFormat EnglishLanguage navigableForDraft "navigable for draft") | domainEnglishFormat.kif 39969-39969 |
antecedent |
(=> (and (navigableForDraft ?WATERWAY (MeasureFn ?AMOUNT Meter)) (ladenDraft ?SHIP (MeasureFn ?DRAFT Meter)) (greaterThan ?AMOUNT ?DRAFT)) (capability (TripFn ?SHIP) path ?WATERWAY)) |
Transportation.kif 2686-2691 |
|
(=> (and (navigableForDraft ?WATERWAY (MeasureFn ?AMOUNT Meter)) (ladenDraft ?SHIP (MeasureFn ?DRAFT Meter)) (lessThanOrEqualTo ?AMOUNT ?DRAFT)) (not (capability (TripFn ?SHIP) path ?WATERWAY))) |
Transportation.kif 2693-2698 |
|
consequent |