Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ladenDraft |
| appearance as argument number 1 |
|
| (instance ladenDraft BinaryPredicate) | Transportation.kif 3749-3749 | laden draft is an instance of binary predicate |
| (domain ladenDraft 1 WaterVehicle) | Transportation.kif 3750-3750 | The number 1 argument of laden draft is an instance of water vehicle |
| (domain ladenDraft 2 LengthMeasure) | Transportation.kif 3751-3751 | The number 2 argument of laden draft is an instance of length measure |
| (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 3752-3754 | The number 2 argument of laden draft is an instance of length measure |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage ladenDraft "%2 is %n a laden draft of %1") | domainEnglishFormat.kif 1425-1425 | |
| (format ChineseTraditionalLanguage ladenDraft "%2 %n 是 %1 的 laden 草案") | domainEnglishFormat.kif 1426-1426 | |
| (format ChineseLanguage ladenDraft "%2 %n 是 %1 的 laden 草案") | domainEnglishFormat.kif 1427-1427 | |
| (termFormat EnglishLanguage ladenDraft "laden draft") | domainEnglishFormat.kif 33087-33087 | |
| (termFormat ChineseTraditionalLanguage ladenDraft "載貨草案") | domainEnglishFormat.kif 33088-33088 | |
| (termFormat ChineseLanguage ladenDraft "载货草案") | domainEnglishFormat.kif 33089-33089 |
| antecedent |
|
|
| (=> (and (navigableForDraft ?WATERWAY (MeasureFn ?AMOUNT Meter)) (ladenDraft ?SHIP (MeasureFn ?DRAFT Meter)) (greaterThan ?AMOUNT ?DRAFT)) (capability (TripFn ?SHIP) path ?WATERWAY)) |
Transportation.kif 3727-3732 | If X meter(s) is a navigable for draft of Y, Z meter(s) is a laden draft of W, and X is greater than Z, then Y is capable of doing the trip of W as a path |
| (=> (and (navigableForDraft ?WATERWAY (MeasureFn ?AMOUNT Meter)) (ladenDraft ?SHIP (MeasureFn ?DRAFT Meter)) (lessThanOrEqualTo ?AMOUNT ?DRAFT)) (not (capability (TripFn ?SHIP) path ?WATERWAY))) |
Transportation.kif 3734-3739 | If X meter(s) is a navigable for draft of Y, Z meter(s) is a laden draft of W, and X is less than or equal to Z, then Y is not capable of doing the trip of W as a path |
|