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 | Le nombre 1 argument de vesselDisplacement est une instance de WaterVehicle |
(domain vesselDisplacement 2 PhysicalQuantity) | Transportation.kif 2547-2547 | Le nombre 2 argument de vesselDisplacement est une instance de quantit� physique |
(instance vesselDisplacement BinaryPredicate) | Transportation.kif 2545-2545 | vesselDisplacement est une instance de pr�dicat binaire |
(subrelation vesselDisplacement measure) | Transportation.kif 2548-2548 | vesselDisplacement est une sous-relation de 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 est une sous-relation de vesselDisplacement |
(subrelation vesselGrossRegisteredTonnage vesselDisplacement) | Transportation.kif 2569-2569 | vesselGrossRegisteredTonnage est une sous-relation de 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 2670-2676 |
|