| 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 | maximumPayloadCapacity の数値 1 引数は Vehicle の instance では |
| (domain maximumPayloadCapacity 2 MassMeasure) | MilitaryDevices.kif 82-82 | maximumPayloadCapacity の数値 2 引数は 質量測定 の instance では |
| (instance maximumPayloadCapacity BinaryPredicate) | MilitaryDevices.kif 78-78 | maximumPayloadCapacity は 2進述語 の instance では |
| (instance maximumPayloadCapacity TotalValuedRelation) | MilitaryDevices.kif 79-79 | maximumPayloadCapacity は 合計値関係 の instance では |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage maximumPayloadCapacity "%2 %n 是 %1 的 maximum 有效附载容量") | domainEnglishFormat.kif 1651-1651 | |
| (format ChineseTraditionalLanguage maximumPayloadCapacity "%2 %n 是 %1 的 maximum 有效附載容量") | domainEnglishFormat.kif 1650-1650 | |
| (format EnglishLanguage maximumPayloadCapacity "%2 is %n a maximum payload capacity of %1") | domainEnglishFormat.kif 1649-1649 | |
| (termFormat ChineseLanguage maximumPayloadCapacity "最大载荷容量") | domainEnglishFormat.kif 36608-36608 | |
| (termFormat ChineseTraditionalLanguage maximumPayloadCapacity "最大載荷容量") | domainEnglishFormat.kif 36607-36607 | |
| (termFormat EnglishLanguage maximumPayloadCapacity "maximum payload capacity") | domainEnglishFormat.kif 36606-36606 |
| 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 |
|
| (=> (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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners