Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| maximumPayloadCapacity |
| appearance as argument number 1 |
|
| (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 |
| (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 |
| (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 | The number 2 argument of maximum payload capacity is an instance of mass measure |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage maximumPayloadCapacity "%1 can%n{not} carry a payload weighing up to %2.") | MilitaryDevices.kif 2187-2187 | |
| (format EnglishLanguage maximumPayloadCapacity "%2 is %n a maximum payload capacity of %1") | domainEnglishFormat.kif 1649-1649 | |
| (format ChineseTraditionalLanguage maximumPayloadCapacity "%2 %n 是 %1 的 maximum 有效附載容量") | domainEnglishFormat.kif 1650-1650 | |
| (format ChineseLanguage maximumPayloadCapacity "%2 %n 是 %1 的 maximum 有效附载容量") | domainEnglishFormat.kif 1651-1651 | |
| (termFormat EnglishLanguage maximumPayloadCapacity "maximum payload capacity") | domainEnglishFormat.kif 36599-36599 | |
| (termFormat ChineseTraditionalLanguage maximumPayloadCapacity "最大載荷容量") | domainEnglishFormat.kif 36600-36600 | |
| (termFormat ChineseLanguage maximumPayloadCapacity "最大载荷容量") | domainEnglishFormat.kif 36601-36601 |
| antecedent |
|
|
| (=> (maximumPayloadCapacity ?V (MeasureFn ?LOAD ?UNITLOAD)) (not (exists (?TP ?O ?WO ?WOU) (and (instance ?TP Transportation) (instrument ?TP ?V) (patient ?TP ?O) (weight ?O (MeasureFn ?WO ?WOU)) (equal ?WOU ?UNITLOAD) (greaterThan ?WO ?LOAD))))) |
MilitaryDevices.kif 92-104 | If X Y(s) is a maximum payload capacity of Z, then there don't exist W, V,, , U and T such that W is an instance of transportation and Z is an instrument for W and V is a patient of W and U T(s) is a weight of V and equal T and Y and U is greater than X |
| (=> (and (maximumPayloadCapacity ?V (MeasureFn ?WEIGHT ?UNITWEIGHT)) (maximumPayloadHeightWidth ?V (MeasureFn ?HEIGHT ?UNITHEIGHT) (MeasureFn ?WIDTH ?UNITWIDTH)) (instance ?O SelfConnectedObject) (weight ?O (MeasureFn ?WEO ?WEOU)) (width ?O (MeasureFn ?WO ?WOU)) (height ?O (MeasureFn ?HO ?HOU)) (equal ?WEOU ?UNITWEIGHT) (equal ?WOU ?UNITWIDTH) (equal ?HOU ?UNITHEIGHT) (lessThanOrEqualTo ?WEO ?WEIGHT) (lessThanOrEqualTo ?WO ?WIDTH) (lessThanOrEqualTo ?HO ?HEIGHT)) (capability (KappaFn ?TRANSPORT (and (instance ?TRANSPORT Transportation) (patient ?TRANSPORT ?O))) instrument ?V)) |
MilitaryDevices.kif 144-169 | If All of the following hold: (1) X Y(s) is a maximum payload capacity of Z (2) Z is maximum payload height width W V(s) for U T(s) (3) S is an instance of self connected object (4) R Q(s) is a weight of S (5) the width of S is P O(s) (6) the height of S is N M(s) (7) equal Q and Y (8) equal O and T (9) equal M and V (10) R is less than or equal to X (11) P is less than or equal to U (12) N is less than or equal to W, then Z is capable of doing the class described by L as a instrument |
| consequent |
|
|
| (=> (instance ?CH53E CH53E) (and (personTransportCapability ?CH53E 55) (maximumPayloadCapacity ?CH53E (MeasureFn 14515.0 Kilogram)))) |
MilitaryDevices.kif 1969-1974 | If X is an instance of C h53 e, then 55 is a person transport capability of X and 14515.0 kilogram(s) is a maximum payload capacity of X |
| (=> (instance ?CH46D CH46D) (and (personTransportCapability ?CH46D 25) (maximumPayloadCapacity ?CH46D (MeasureFn 3131.0 Kilogram)))) |
MilitaryDevices.kif 2039-2044 | If X is an instance of C h46 d, then 25 is a person transport capability of X and 3131.0 kilogram(s) is a maximum payload capacity of X |
| (=> (instance ?LCAC LCAC) (maximumPayloadCapacity ?LCAC (MeasureFn 60.0 TonMass))) |
MilitaryDevices.kif 2149-2152 | If X is an instance of LCAC, then 60.0 ton mass(s) is a maximum payload capacity of X |
|