maximumPayloadHeightWidth - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - maximumPayloadHeightWidth

maximumPayloadHeightWidth

appearance as argument number 1

(documentation maximumPayloadHeightWidth EnglishLanguage "(maximumHeightWidth ?V ?LMHEIGHT ?LMWIDTH) means that the Vehicle ?V can transport Objects with a height less then or equal to ?LMHEIGHT and width less than or equal to ?LMWIDTH, provided that the weight of these Objects is less than or equal to maximumPayloadCapacity.")	MilitaryDevices.kif 113-117
(domain maximumPayloadHeightWidth 1 Vehicle)	MilitaryDevices.kif 109-109	The number 1 argument of maximum payload height width is an instance of vehicle
(domain maximumPayloadHeightWidth 2 LengthMeasure)	MilitaryDevices.kif 110-110	The number 2 argument of maximum payload height width is an instance of length measure
(domain maximumPayloadHeightWidth 3 LengthMeasure)	MilitaryDevices.kif 111-111	The number 3 argument of maximum payload height width is an instance of length measure
(instance maximumPayloadHeightWidth TernaryPredicate)	MilitaryDevices.kif 106-106	maximum payload height width is an instance of ternary predicate
(instance maximumPayloadHeightWidth TotalValuedRelation)	MilitaryDevices.kif 107-107	maximum payload height width is an instance of total valued relation

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 can%n{not} carry a payload measuring up to %2 high and %3 wide.")	MilitaryDevices.kif 2035-2035
(format EnglishLanguage maximumPayloadHeightWidth "%1 is %n{isn't} maximum payload height width %2 for %3")	domainEnglishFormat.kif 1653-1653
(termFormat ChineseLanguage maximumPayloadHeightWidth "最大有效负载高度宽度")	domainEnglishFormat.kif 36631-36631
(termFormat ChineseTraditionalLanguage maximumPayloadHeightWidth "最大有效負載高度寬度")	domainEnglishFormat.kif 36630-36630
(termFormat EnglishLanguage maximumPayloadHeightWidth "maximum payload height width")	domainEnglishFormat.kif 36629-36629

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	If a real number an unit of measure(s) is a maximum payload capacity of a vehicle and the vehicle is maximum payload height width another real number another unit of measure(s) for a third real number a third unit of measure(s) and a self connected object is an instance of self connected object and a fourth real number the fourth real numberU(s) is a weight of the self connected object and the width of the self connected object is a fifth real number the fifth real numberU(s) and the height of the self connected object is a sixth real number the sixth real numberU(s) and the fourth real numberU is equal to the unit of measure and the fifth real numberU is equal to the third unit of measure and the sixth real numberU is equal to the other unit of measure and the fourth real number is less than or equal to the real number and the fifth real number is less than or equal to the third real number and the sixth real number is less than or equal to the other real number, then the vehicle is capable of doing the class described by a symbolic string as a instrument
(=> (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 a vehicle is maximum payload height width a real number an unit of measure(s) for another real number another unit of measure(s), then there don't exist a process, a self connected object,, , a third real number,, , the third real numberU,, , a fourth real number and the fourth real numberU such that the process is an instance of transportation and the vehicle is an instrument for the process and the self connected object is a patient of the process and the width of the self connected object is the third real number the third real numberU(s) and the height of the self connected object is the fourth real number the fourth real numberU(s) and the third real numberU is equal to the other unit of measure and the fourth real numberU is equal to the unit of measure and the third real number is greater than the other real number and the fourth real number is greater than the real number

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