maximumPayloadCapacity - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - maximumPayloadCapacity

maximumPayloadCapacity

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	The number 1 argument of maximum payload capacity is an instance of vehicle
(domain maximumPayloadCapacity 2 MassMeasure)	MilitaryDevices.kif 82-82	The number 2 argument of maximum payload capacity is an instance of mass measure
(instance maximumPayloadCapacity BinaryPredicate)	MilitaryDevices.kif 78-78	maximum payload capacity is an instance of binary predicate
(instance maximumPayloadCapacity TotalValuedRelation)	MilitaryDevices.kif 79-79	maximum payload capacity is an instance of total valued relation

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	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 equal the fourth real numberU and the unit of measure and equal the fifth real numberU and the third unit of measure and equal the sixth real numberU and 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
(=> (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	If a real number an unit of measure(s) is a maximum payload capacity of a vehicle, then there don't exist a process, a self connected object,, , another real number and the other 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 other real number the other real numberU(s) is a weight of the self connected object and equal the other real numberU and the unit of measure and the other 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