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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - maximumPayloadHeightWidth
maximumPayloadHeightWidth

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


(documentation maximumPayloadHeightWidth EnglishLanguage "(maximumHeightWidth ?V ?LMHEIGHT ?LMWIDTH) means that the Vehicle ?V can transport Objects with a height less then or equal to ?LMHEIGHT and width less than or equal to ?LMWIDTH, provided that the weight of these Objects is less than or equal to maximumPayloadCapacity.") MilitaryDevices.kif 112-116
(domain maximumPayloadHeightWidth 1 Vehicle) MilitaryDevices.kif 108-108
(domain maximumPayloadHeightWidth 2 LengthMeasure) MilitaryDevices.kif 109-109
(domain maximumPayloadHeightWidth 3 LengthMeasure) MilitaryDevices.kif 110-110
(instance maximumPayloadHeightWidth TernaryPredicate) MilitaryDevices.kif 105-105
(instance maximumPayloadHeightWidth TotalValuedRelation) MilitaryDevices.kif 106-106

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


(format EnglishLanguage maximumPayloadHeightWidth "%1 %n{doesn't} maximum payload height width %2 for %3") domainEnglishFormat.kif 421-421
(format EnglishLanguage maximumPayloadHeightWidth "%1 can%n{not} carry a payload measuring up to %2 high and %3 wide.") MilitaryDevices.kif 2034-2034
(termFormat EnglishLanguage maximumPayloadHeightWidth "maximum payload height width") domainEnglishFormat.kif 6520-6520

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
(=>
    (maximumPayloadHeightWidth ?V
        (MeasureFn ?HEIGHT ?UNITHEIGHT)
        (MeasureFn ?WIDTH ?UNITWIDTH))
    (not
        (exists (?TP ?O)
            (and
                (instance ?TP Transportation)
                (instrument ?TP ?V)
                (patient ?TP ?O)
                (width ?O
                    (MeasureFn ?WO ?WOU))
                (height ?O
                    (MeasureFn ?HO ?HOU))
                (equal ?WOU ?UNITWIDTH)
                (equal ?HOU ?UNITHEIGHT)
                (greaterThan ?WO ?WIDTH)
                (greaterThan ?HO ?HEIGHT)))))
MilitaryDevices.kif 120-137


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