Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  maximumPayloadCapacity

 Sigma KEE - maximumPayloadCapacity
maximumPayloadCapacity

appearance as argument number 1
-------------------------


(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
(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
(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 The number 2 argument of maximum payload capacity is an instance of mass measure

appearance as argument number 2
-------------------------


(format EnglishLanguage maximumPayloadCapacity "%1 can%n{not} carry a payload weighing up to %2.") MilitaryDevices.kif 2187-2187
(format EnglishLanguage maximumPayloadCapacity "%2 is %n a maximum payload capacity of %1") domainEnglishFormat.kif 1649-1649
(format ChineseTraditionalLanguage maximumPayloadCapacity "%2 %n 是 %1 的 maximum 有效附載容量") domainEnglishFormat.kif 1650-1650
(format ChineseLanguage maximumPayloadCapacity "%2 %n 是 %1 的 maximum 有效附载容量") domainEnglishFormat.kif 1651-1651
(termFormat EnglishLanguage maximumPayloadCapacity "maximum payload capacity") domainEnglishFormat.kif 36599-36599
(termFormat ChineseTraditionalLanguage maximumPayloadCapacity "最大載荷容量") domainEnglishFormat.kif 36600-36600
(termFormat ChineseLanguage maximumPayloadCapacity "最大载荷容量") domainEnglishFormat.kif 36601-36601

antecedent
-------------------------


(=>
    (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 X Y(s) is a maximum payload capacity of Z, then there don't exist W, V,, , U and T such that W is an instance of transportation and Z is an instrument for W and V is a patient of W and U T(s) is a weight of V and equal T and Y and U is greater than X
(=>
    (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 All of the following hold: (1) X Y(s) is a maximum payload capacity of Z (2) Z is maximum payload height width W V(s) for U T(s) (3) S is an instance of self connected object (4) R Q(s) is a weight of S (5) the width of S is P O(s) (6) the height of S is N M(s) (7) equal Q and Y (8) equal O and T (9) equal M and V (10) R is less than or equal to X (11) P is less than or equal to U (12) N is less than or equal to W, then Z is capable of doing the class described by L as a instrument

consequent
-------------------------


(=>
    (instance ?CH53E CH53E)
    (and
        (personTransportCapability ?CH53E 55)
        (maximumPayloadCapacity ?CH53E
            (MeasureFn 14515.0 Kilogram))))		 MilitaryDevices.kif 1969-1974 If X is an instance of C h53 e, then 55 is a person transport capability of X and 14515.0 kilogram(s) is a maximum payload capacity of X
(=>
    (instance ?CH46D CH46D)
    (and
        (personTransportCapability ?CH46D 25)
        (maximumPayloadCapacity ?CH46D
            (MeasureFn 3131.0 Kilogram))))		 MilitaryDevices.kif 2039-2044 If X is an instance of C h46 d, then 25 is a person transport capability of X and 3131.0 kilogram(s) is a maximum payload capacity of X
(=>
    (instance ?LCAC LCAC)
    (maximumPayloadCapacity ?LCAC
        (MeasureFn 60.0 TonMass)))		 MilitaryDevices.kif 2149-2152 If X is an instance of LCAC, then 60.0 ton mass(s) is a maximum payload capacity of X


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners