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 1647-1647
(format ChineseTraditionalLanguage maximumPayloadCapacity "%2 %n 是 %1 的 maximum 有效附載容量")	domainEnglishFormat.kif 1646-1646
(format EnglishLanguage maximumPayloadCapacity "%1 can%n{not} carry a payload weighing up to %2.")	MilitaryDevices.kif 2034-2034
(format EnglishLanguage maximumPayloadCapacity "%2 is %n a maximum payload capacity of %1")	domainEnglishFormat.kif 1645-1645
(termFormat ChineseLanguage maximumPayloadCapacity "最大载荷容量")	domainEnglishFormat.kif 36493-36493
(termFormat ChineseTraditionalLanguage maximumPayloadCapacity "最大載荷容量")	domainEnglishFormat.kif 36492-36492
(termFormat EnglishLanguage maximumPayloadCapacity "maximum payload capacity")	domainEnglishFormat.kif 36491-36491

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
(=> (maximumPayloadCapacity ?V (MeasureFn ?LOAD ?UNITLOAD)) (not (exists (?TP ?O) (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 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 another real number the other real numberU(s) is a weight of the self connected object and the other real numberU is equal to the unit of measure and the other real number is greater than the real number

consequent

(=> (instance ?CH46D CH46D) (and (personTransportCapability ?CH46D 25) (maximumPayloadCapacity ?CH46D (MeasureFn 3131 Kilogram))))	MilitaryDevices.kif 1882-1887	If a passenger vehicle is an instance of C h46 d, then 25 is a person transport capability of the passenger vehicle and 3131 kilogram(s) is a maximum payload capacity of the passenger vehicle
(=> (instance ?CH53E CH53E) (and (personTransportCapability ?CH53E 55) (maximumPayloadCapacity ?CH53E (MeasureFn 14515 Kilogram))))	MilitaryDevices.kif 1812-1817	If a passenger vehicle is an instance of C h53 e, then 55 is a person transport capability of the passenger vehicle and 14515 kilogram(s) is a maximum payload capacity of the passenger vehicle
(=> (instance ?LCAC LCAC) (maximumPayloadCapacity ?LCAC (MeasureFn 60 TonMass)))	MilitaryDevices.kif 1992-1995	If a vehicle is an instance of LCAC, then 60 ton mass(s) is a maximum payload capacity of the vehicle

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