Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| maximumPayloadHeightWidth |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (format EnglishLanguage maximumPayloadHeightWidth "%1 can%n{not} carry a payload measuring up to %2 high and %3 wide.") | MilitaryDevices.kif 2188-2188 | |
| (format EnglishLanguage maximumPayloadHeightWidth "%1 is %n{isn't} maximum payload height width %2 for %3") | domainEnglishFormat.kif 1653-1653 | |
| (format ChineseTraditionalLanguage maximumPayloadHeightWidth "%1 %n{不是} 對於 %3 的 maximum 有效附載高度 %2 ") | domainEnglishFormat.kif 1654-1654 | |
| (format ChineseLanguage maximumPayloadHeightWidth "%1 %n{不是} 对于 %3 的 maximum 有效附载高度 %2 ") | domainEnglishFormat.kif 1655-1655 | |
| (termFormat EnglishLanguage maximumPayloadHeightWidth "maximum payload height width") | domainEnglishFormat.kif 36605-36605 | |
| (termFormat ChineseTraditionalLanguage maximumPayloadHeightWidth "最大有效負載高度寬度") | domainEnglishFormat.kif 36606-36606 | |
| (termFormat ChineseLanguage maximumPayloadHeightWidth "最大有效负载高度宽度") | domainEnglishFormat.kif 36607-36607 |
| antecedent |
|
|
| (=> (maximumPayloadHeightWidth ?V (MeasureFn ?HEIGHT ?UNITHEIGHT) (MeasureFn ?WIDTH ?UNITWIDTH)) (not (exists (?TP ?O ?WO ?WOU ?HO ?HOU) (and (instance ?TP Transportation) (instrument ?TP ?V) (patient ?TP ?O) (width ?O (MeasureFn ?WO ?WOU)) (height ?O (MeasureFn ?HO ?HOU)) (equal ?WOU ?UNITWIDTH) (equal ?HOU ?UNITHEIGHT) (greaterThan ?WO ?WIDTH) (greaterThan ?HO ?HEIGHT))))) |
MilitaryDevices.kif 121-138 | If X is maximum payload height width Y Z(s) for W V(s), then there don't exist U, T,, , S,, , R,, , Q and P such that U is an instance of transportation and X is an instrument for U and T is a patient of U and the width of T is S R(s) and the height of T is Q P(s) and equal R and V and equal P and Z and S is greater than W and Q is greater than Y |
| (=> (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 |
|