| 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 3180-3182 | |
| (domain navigableForDraft 1 WaterArea) | Transportation.kif 3177-3177 | |
| (domain navigableForDraft 2 LengthMeasure) | Transportation.kif 3178-3178 | |
| (instance navigableForDraft BinaryPredicate) | Transportation.kif 3176-3176 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage navigableForDraft "%2 %n 是草案 %1 的 navigable ") | domainEnglishFormat.kif 1795-1795 | |
| (format ChineseTraditionalLanguage navigableForDraft "%2 %n 是草案 %1 的 navigable ") | domainEnglishFormat.kif 1794-1794 | |
| (format EnglishLanguage navigableForDraft "%2 is %n a navigable for draft of %1") | domainEnglishFormat.kif 1793-1793 | |
| (termFormat ChineseLanguage navigableForDraft "可通航草案") | domainEnglishFormat.kif 39982-39982 | |
| (termFormat ChineseTraditionalLanguage navigableForDraft "可通航草案") | domainEnglishFormat.kif 39981-39981 | |
| (termFormat EnglishLanguage navigableForDraft "navigable for draft") | domainEnglishFormat.kif 39980-39980 |
| antecedent |
|
|
| (=> (and (navigableForDraft ?WATERWAY (MeasureFn ?AMOUNT Meter)) (ladenDraft ?SHIP (MeasureFn ?DRAFT Meter)) (greaterThan ?AMOUNT ?DRAFT)) (capability (TripFn ?SHIP) path ?WATERWAY)) |
Transportation.kif 3184-3189 | |
| (=> (and (navigableForDraft ?WATERWAY (MeasureFn ?AMOUNT Meter)) (ladenDraft ?SHIP (MeasureFn ?DRAFT Meter)) (lessThanOrEqualTo ?AMOUNT ?DRAFT)) (not (capability (TripFn ?SHIP) path ?WATERWAY))) |
Transportation.kif 3191-3196 |
| consequent |
|
|
| (=> (and (instance ?WATERWAY Waterway) (depth ?OBJ ?WATERWAY (MeasureFn ?DEPTH ?UNIT)) (instance ?UNIT UnitOfLength) (lessThan ?DRAFT ?DEPTH)) (navigableForDraft ?WATERWAY (MeasureFn ?DRAFT ?UNIT))) |
Transportation.kif 3198-3204 | |
| (=> (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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners