maximumPayloadHeightWidth |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(format ChineseLanguage maximumPayloadHeightWidth "%1 %n{不是} 对于 %3 的 maximum 有效附载高度 %2 ") | domainEnglishFormat.kif 1655-1655 | |
(format ChineseTraditionalLanguage maximumPayloadHeightWidth "%1 %n{不是} 對於 %3 的 maximum 有效附載高度 %2 ") | domainEnglishFormat.kif 1654-1654 | |
(format EnglishLanguage maximumPayloadHeightWidth "%1 is %n{isn't} maximum payload height width %2 for %3") | domainEnglishFormat.kif 1653-1653 | |
(termFormat ChineseLanguage maximumPayloadHeightWidth "最大有效负载高度宽度") | domainEnglishFormat.kif 36614-36614 | |
(termFormat ChineseTraditionalLanguage maximumPayloadHeightWidth "最大有效負載高度寬度") | domainEnglishFormat.kif 36613-36613 | |
(termFormat EnglishLanguage maximumPayloadHeightWidth "maximum payload height width") | domainEnglishFormat.kif 36612-36612 |
antecedent |
![]() |
(=> (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 |
|
(=> (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 |
|
![]() |
![]() |