Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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
(domain maximumPayloadCapacity 2 MassMeasure) MilitaryDevices.kif 82-82
(instance maximumPayloadCapacity BinaryPredicate) MilitaryDevices.kif 78-78
(instance maximumPayloadCapacity TotalValuedRelation) MilitaryDevices.kif 79-79

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 36599-36599
(termFormat ChineseTraditionalLanguage maximumPayloadCapacity "最大載荷容量") domainEnglishFormat.kif 36598-36598
(termFormat EnglishLanguage maximumPayloadCapacity "maximum payload capacity") domainEnglishFormat.kif 36597-36597


        (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))
        (KappaFn ?TRANSPORT
                (instance ?TRANSPORT Transportation)
                (patient ?TRANSPORT ?O))) instrument ?V))
MilitaryDevices.kif 144-169
    (maximumPayloadCapacity ?V
        (MeasureFn ?LOAD ?UNITLOAD))
        (exists (?TP ?O ?WO ?WOU)
                (instance ?TP Transportation)
                (instrument ?TP ?V)
                (patient ?TP ?O)
                (weight ?O
                    (MeasureFn ?WO ?WOU))
                (equal ?WOU ?UNITLOAD)
                (greaterThan ?WO ?LOAD)))))
MilitaryDevices.kif 92-104


    (instance ?CH46D CH46D)
        (personTransportCapability ?CH46D 25)
        (maximumPayloadCapacity ?CH46D
            (MeasureFn 3131.0 Kilogram))))
MilitaryDevices.kif 1882-1887
    (instance ?CH53E CH53E)
        (personTransportCapability ?CH53E 55)
        (maximumPayloadCapacity ?CH53E
            (MeasureFn 14515.0 Kilogram))))
MilitaryDevices.kif 1812-1817
    (instance ?LCAC LCAC)
    (maximumPayloadCapacity ?LCAC
        (MeasureFn 60.0 TonMass)))
MilitaryDevices.kif 1992-1995

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 is open source software produced by Articulate Software and its partners