| 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 2723-2725 | |
| (domain ladenDraft 1 WaterVehicle) | Transportation.kif 2721-2721 | Il numero 1 argomenti di ladenDraft è un istanza di WaterVehicle |
| (domain ladenDraft 2 LengthMeasure) | Transportation.kif 2722-2722 | Il numero 2 argomenti di ladenDraft è un istanza di MisuraDiLunghezza |
| (instance ladenDraft BinaryPredicate) | Transportation.kif 2720-2720 | ladenDraft è un' istanza di PredicatoBinario |
| 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 33085-33085 | |
| (termFormat ChineseTraditionalLanguage ladenDraft "載貨草案") | domainEnglishFormat.kif 33084-33084 | |
| (termFormat EnglishLanguage ladenDraft "laden draft") | domainEnglishFormat.kif 33083-33083 |
| antecedent |
|
|
| (=> (and (navigableForDraft ?WATERWAY (MeasureFn ?AMOUNT Meter)) (ladenDraft ?SHIP (MeasureFn ?DRAFT Meter)) (greaterThan ?AMOUNT ?DRAFT)) (capability (TripFn ?SHIP) path ?WATERWAY)) |
Transportation.kif 2698-2703 |
|
| (=> (and (navigableForDraft ?WATERWAY (MeasureFn ?AMOUNT Meter)) (ladenDraft ?SHIP (MeasureFn ?DRAFT Meter)) (lessThanOrEqualTo ?AMOUNT ?DRAFT)) (not (capability (TripFn ?SHIP) path ?WATERWAY))) |
Transportation.kif 2705-2710 |
|
|
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