ladenDraft |
appearance as argument number 1 |
![]() |
(documentation ladenDraft EnglishLanguage "(ladenDraft ?SHIP ?AMOUNT) means that the WaterVehicle ?SHIP requires a waterDepth of at least ?AMOUNT to sail without running aground, when she is loaded at capacity.") | Transportation.kif 2656-2658 | |
(domain ladenDraft 1 WaterVehicle) | Transportation.kif 2654-2654 | |
(domain ladenDraft 2 LengthMeasure) | Transportation.kif 2655-2655 | |
(instance ladenDraft BinaryPredicate) | Transportation.kif 2653-2653 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage ladenDraft "%2 %n 是 %1 的 laden 草案") | domainEnglishFormat.kif 1427-1427 | |
(format ChineseTraditionalLanguage ladenDraft "%2 %n 是 %1 的 laden 草案") | domainEnglishFormat.kif 1426-1426 | |
(format EnglishLanguage ladenDraft "%2 is %n a laden draft of %1") | domainEnglishFormat.kif 1425-1425 | |
(termFormat ChineseLanguage ladenDraft "载货草案") | domainEnglishFormat.kif 33079-33079 | |
(termFormat ChineseTraditionalLanguage ladenDraft "載貨草案") | domainEnglishFormat.kif 33078-33078 | |
(termFormat EnglishLanguage ladenDraft "laden draft") | domainEnglishFormat.kif 33077-33077 |
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 |
![]() |
![]() |