maximumPayloadCapacity |
appearance as argument number 1 |
(documentation maximumPayloadCapacity EnglishLanguage "(maximumPayloadCapacity ?V ?MM) means that the Vehicle ?V has a maximum payload of ?MM. This means that the vehicle can transport Objects weighing less than ?MM, provided that their height and width are within the limits of maximumPayloadHeightWidth.") | MilitaryDevices.kif 84-88 | |
(domain maximumPayloadCapacity 1 Vehicle) | MilitaryDevices.kif 81-81 | The number 1 argument of maximum payload capacity is an instance of vehicle |
(domain maximumPayloadCapacity 2 MassMeasure) | MilitaryDevices.kif 82-82 | The number 2 argument of maximum payload capacity is an instance of mass measure |
(instance maximumPayloadCapacity BinaryPredicate) | MilitaryDevices.kif 78-78 | maximum payload capacity is an instance of binary predicate |
(instance maximumPayloadCapacity TotalValuedRelation) | MilitaryDevices.kif 79-79 | maximum payload capacity is an instance of total valued relation |
appearance as argument number 2 |
(format ChineseLanguage maximumPayloadCapacity "%2 %n 是 %1 的 maximum 有效附载容量") | domainEnglishFormat.kif 1647-1647 | |
(format ChineseTraditionalLanguage maximumPayloadCapacity "%2 %n 是 %1 的 maximum 有效附載容量") | domainEnglishFormat.kif 1646-1646 | |
(format EnglishLanguage maximumPayloadCapacity "%1 can%n{not} carry a payload weighing up to %2.") | MilitaryDevices.kif 2034-2034 | |
(format EnglishLanguage maximumPayloadCapacity "%2 is %n a maximum payload capacity of %1") | domainEnglishFormat.kif 1645-1645 | |
(termFormat ChineseLanguage maximumPayloadCapacity "最大载荷容量") | domainEnglishFormat.kif 36599-36599 | |
(termFormat ChineseTraditionalLanguage maximumPayloadCapacity "最大載荷容量") | domainEnglishFormat.kif 36598-36598 | |
(termFormat EnglishLanguage maximumPayloadCapacity "maximum payload capacity") | domainEnglishFormat.kif 36597-36597 |
antecedent |
consequent |
(=> (instance ?CH46D CH46D) (and (personTransportCapability ?CH46D 25) (maximumPayloadCapacity ?CH46D (MeasureFn 3131.0 Kilogram)))) |
MilitaryDevices.kif 1882-1887 |
|
(=> (instance ?CH53E CH53E) (and (personTransportCapability ?CH53E 55) (maximumPayloadCapacity ?CH53E (MeasureFn 14515.0 Kilogram)))) |
MilitaryDevices.kif 1812-1817 |
|
(=> (instance ?LCAC LCAC) (maximumPayloadCapacity ?LCAC (MeasureFn 60.0 TonMass))) |
MilitaryDevices.kif 1992-1995 |