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

appearance as argument number 2

(format EnglishLanguage maximumPayloadCapacity "%1 can%n{not} carry a payload weighing up to %2.")	MilitaryDevices.kif 2033-2033
(format EnglishLanguage maximumPayloadCapacity "%2 is %n a maximum payload capacity of %1")	domainEnglishFormat.kif 420-420
(termFormat EnglishLanguage maximumPayloadCapacity "maximum payload capacity")	domainEnglishFormat.kif 6519-6519	"maximum payload capacity" is the printable form of maximum payload capacity 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 143-168	If a real number an unit of measure(s) is a maximum payload capacity of a vehicle and the vehicle 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 91-103	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 1881-1886	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 1811-1816	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 1991-1994	If a vehicle is an instance of LCA c, 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