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 1651-1651
(format ChineseTraditionalLanguage maximumPayloadHeightWidth "%1 %n{不是} 對於 %3 的 maximum 有效附載高度 %2 ")	domainEnglishFormat.kif 1650-1650
(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 1649-1649
(termFormat ChineseLanguage maximumPayloadHeightWidth "最大有效负载高度宽度")	domainEnglishFormat.kif 36523-36523	"最大有效负载高度宽度" is the printable form of maximum payload height width in ChineseLanguage
(termFormat ChineseTraditionalLanguage maximumPayloadHeightWidth "最大有效負載高度寬度")	domainEnglishFormat.kif 36522-36522	"最大有效負載高度寬度" is the printable form of maximum payload height width in ChineseTraditionalLanguage
(termFormat EnglishLanguage maximumPayloadHeightWidth "maximum payload height width")	domainEnglishFormat.kif 36521-36521	"maximum payload height width" is the printable form of maximum payload height width in english language

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) (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 and a self connected object 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 a third real number the third real numberU(s) and the height of the self connected object is a 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners