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
(=>
    (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

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


(=>
    (instance ?CH46D CH46D)
    (and
        (personTransportCapability ?CH46D 25)
        (maximumPayloadCapacity ?CH46D
            (MeasureFn 3131 Kilogram))))
MilitaryDevices.kif 1881-1886
(=>
    (instance ?CH53E CH53E)
    (and
        (personTransportCapability ?CH53E 55)
        (maximumPayloadCapacity ?CH53E
            (MeasureFn 14515 Kilogram))))
MilitaryDevices.kif 1811-1816
(=>
    (instance ?LCAC LCAC)
    (maximumPayloadCapacity ?LCAC
        (MeasureFn 60 TonMass)))
MilitaryDevices.kif 1991-1994


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