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

Formal Language: 



KB Term:  Term intersection
English Word: 

  maximumPayloadHeightWidth

 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 113-117
(domain maximumPayloadHeightWidth 1 Vehicle) MilitaryDevices.kif 109-109 maximumPayloadHeightWidth の数値 1 引数は Vehicle の instance では %n
(domain maximumPayloadHeightWidth 2 LengthMeasure) MilitaryDevices.kif 110-110 maximumPayloadHeightWidth の数値 2 引数は 長さ測定 の instance では %n
(domain maximumPayloadHeightWidth 3 LengthMeasure) MilitaryDevices.kif 111-111 maximumPayloadHeightWidth の数値 3 引数は 長さ測定 の instance では %n
(instance maximumPayloadHeightWidth TernaryPredicate) MilitaryDevices.kif 106-106 maximumPayloadHeightWidth は 3進述語 の instance では %n
(instance maximumPayloadHeightWidth TotalValuedRelation) MilitaryDevices.kif 107-107 maximumPayloadHeightWidth は 合計値関係 の instance では %n

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


(format ChineseLanguage maximumPayloadHeightWidth "%1 %n{不是} 对于 %3 的 maximum 有效附载高度 %2 ") domainEnglishFormat.kif 1651-1651
(format ChineseTraditionalLanguage maximumPayloadHeightWidth "%1 %n{不是} 對於 %3 的 maximum 有效附載高度 %2 ") domainEnglishFormat.kif 1650-1650
(format EnglishLanguage maximumPayloadHeightWidth "%1 can%n{not} carry a payload measuring up to %2 high and %3 wide.") MilitaryDevices.kif 2035-2035
(format EnglishLanguage maximumPayloadHeightWidth "%1 is %n{isn't} maximum payload height width %2 for %3") domainEnglishFormat.kif 1649-1649
(termFormat ChineseLanguage maximumPayloadHeightWidth "最大有效负载高度宽度") domainEnglishFormat.kif 36605-36605
(termFormat ChineseTraditionalLanguage maximumPayloadHeightWidth "最大有效負載高度寬度") domainEnglishFormat.kif 36604-36604
(termFormat EnglishLanguage maximumPayloadHeightWidth "maximum payload height width") domainEnglishFormat.kif 36603-36603

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 144-169
(=>
    (maximumPayloadHeightWidth ?V
        (MeasureFn ?HEIGHT ?UNITHEIGHT)
        (MeasureFn ?WIDTH ?UNITWIDTH))
    (not
        (exists (?TP ?O ?WO ?WOU ?HO ?HOU)
            (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 121-138


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