vesselDisplacement |
appearance as argument number 1 |
(documentation vesselDisplacement EnglishLanguage "(vesselDisplacement ?VESSEL ?AMOUNT) means that the displacement of WaterVehicle ?VESSEL is the PhysicalQuantity ?AMOUNT. The displacement of a vessel may be measured in LongTons (Dead Weight Tonnage, or DWT) or by volume (Gross Registered Tonnage, or GRT).") | Transportation.kif 2549-2553 | |
(domain vesselDisplacement 1 WaterVehicle) | Transportation.kif 2546-2546 | Il numero 1 argomenti di vesselDisplacement è un istanza di WaterVehicle |
(domain vesselDisplacement 2 PhysicalQuantity) | Transportation.kif 2547-2547 | Il numero 2 argomenti di vesselDisplacement è un istanza di Quantit�Fisica |
(instance vesselDisplacement BinaryPredicate) | Transportation.kif 2545-2545 | vesselDisplacement è un' istanza di PredicatoBinario |
(subrelation vesselDisplacement measure) | Transportation.kif 2548-2548 | vesselDisplacement è una sottorelazione di measure |
appearance as argument number 2 |
(format ChineseLanguage vesselDisplacement "%2 %n 是 %1 的 vessel 位移") | domainEnglishFormat.kif 2591-2591 | |
(format ChineseTraditionalLanguage vesselDisplacement "%2 %n 是 %1 的 vessel 位移") | domainEnglishFormat.kif 2590-2590 | |
(format EnglishLanguage vesselDisplacement "%2 is %n a vessel displacement of %1") | domainEnglishFormat.kif 2589-2589 | |
(subrelation vesselDeadWeightTonnage vesselDisplacement) | Transportation.kif 2558-2558 | vesselDeadWeightTonnage è una sottorelazione di vesselDisplacement |
(subrelation vesselGrossRegisteredTonnage vesselDisplacement) | Transportation.kif 2581-2581 | vesselGrossRegisteredTonnage è una sottorelazione di vesselDisplacement |
(termFormat ChineseLanguage vesselDisplacement "船只位移") | domainEnglishFormat.kif 61582-61582 | |
(termFormat ChineseTraditionalLanguage vesselDisplacement "船隻位移") | domainEnglishFormat.kif 61581-61581 | |
(termFormat EnglishLanguage vesselDisplacement "vessel displacement") | domainEnglishFormat.kif 61580-61580 |
antecedent |
(=> (and (navigableForShippingTonnage ?WATERWAY (MeasureFn ?TONNAGE LongTon)) (instance ?VESSEL WaterVehicle) (vesselDisplacement ?VESSEL (MeasureFn ?DWT LongTon)) (lessThanOrEqualTo ?DWT ?TONNAGE)) (capability (TripFn ?VESSEL) path ?WATERWAY)) |
Transportation.kif 2682-2688 |
|