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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - weight
weight

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


(documentation weight ChineseLanguage "(weight ?O ?MM)的意思是在地球上，这个 SelfConnectedObject ?O 的重量是 ?MM。") chinese_format.kif 2606-2607
(documentation weight EnglishLanguage "(weight ?O ?MM) means that on planet earth the SelfConnectedObject ?O has the weight ?MM.") Merge.kif 6998-6999
(domain weight 1 SelfConnectedObject) Merge.kif 6993-6993
(domain weight 2 MassMeasure) Merge.kif 6994-6994
(instance weight BinaryPredicate) Merge.kif 6995-6995
(subrelation weight measure) Merge.kif 6996-6996

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


(format ChineseLanguage weight "%2 %n 是 %1 的 weight ") domainEnglishFormat.kif 2627-2627
(format ChineseTraditionalLanguage weight "%2 %n 是 %1 的 weight ") domainEnglishFormat.kif 2626-2626
(format EnglishLanguage weight "%2 is %n a weight of %1") domainEnglishFormat.kif 2625-2625
(termFormat ChineseLanguage weight "重量") domainEnglishFormat.kif 62597-62597
(termFormat ChineseTraditionalLanguage weight "重量") domainEnglishFormat.kif 62596-62596
(termFormat EnglishLanguage weight "weight") domainEnglishFormat.kif 62595-62595

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

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


(=>
    (instance ?AAV AAV)
    (and
        (length ?AAV
            (MeasureFn 7.94 Meter))
        (width ?AAV
            (MeasureFn 3.27 Meter))
        (weight ?AAV
            (MeasureFn 22.8 TonMass))
        (height ?AAV
            (MeasureFn 3.26 Meter))
        (effectiveRange ?AAV
            (MeasureFn 480 Kilometer))))		 MilitaryDevices.kif 1662-1674
(=>
    (instance ?AGM114 AGM114)
    (and
        (length ?AGM114
            (MeasureFn 1.63 Meter))
        (width ?AGM114
            (MeasureFn 0.71 Meter))
        (height ?AGM114
            (MeasureFn 0.71 Meter))
        (weight ?AGM114
            (MeasureFn 45 Kilogram))
        (effectiveRange ?AGM114
            (MeasureFn 8 Kilometer))))		 MilitaryDevices.kif 1235-1247
(=>
    (instance ?AGM65 AGM65)
    (and
        (length ?AGM65
            (MeasureFn 2.55 Meter))
        (width ?AGM65
            (MeasureFn 0.7 Meter))
        (height ?AGM65
            (MeasureFn 0.7 Meter))
        (weight ?AGM65
            (MeasureFn 302 Kilogram))
        (effectiveRange ?AGM65
            (MeasureFn 27 Kilometer))))		 MilitaryDevices.kif 1155-1167
(=>
    (instance ?AH1 AH1)
    (and
        (length ?AH1
            (MeasureFn 17.68 Meter))
        (width ?AH1
            (MeasureFn 14.63 Meter))
        (height ?AH1
            (MeasureFn 4.44 Meter))
        (weight ?AH1
            (MeasureFn 4634 Kilogram))
        (effectiveRange ?AH1
            (MeasureFn 587 Kilometer))))		 MilitaryDevices.kif 1900-1912
(=>
    (instance ?AIM9 AIM9)
    (and
        (length ?AIM9
            (MeasureFn 2.85 Meter))
        (width ?AIM9
            (MeasureFn 0.63 Meter))
        (height ?AIM9
            (MeasureFn 0.63 Meter))
        (weight ?AIM9
            (MeasureFn 91 Kilogram))
        (effectiveRange ?AIM9
            (MeasureFn 18 Kilometer))))		 MilitaryDevices.kif 1189-1201
(=>
    (instance ?BGM71TOW BGM71TOW)
    (weight ?BGM71TOW
        (MeasureFn 18.9 Kilogram)))		 MilitaryDevices.kif 855-858
(=>
    (instance ?CH46D CH46D)
    (and
        (length ?CH46D
            (MeasureFn 25.72 Meter))
        (width ?CH46D
            (MeasureFn 15.54 Meter))
        (height ?CH46D
            (MeasureFn 5.1 Meter))
        (weight ?CH46D
            (MeasureFn 7047 Kilogram))
        (effectiveRange ?CH46D
            (MeasureFn 676 Kilometer))))		 MilitaryDevices.kif 1860-1872
(=>
    (instance ?CH53E CH53E)
    (and
        (length ?CH53E
            (MeasureFn 30.2 Meter))
        (width ?CH53E
            (MeasureFn 24.1 Meter))
        (height ?CH53E
            (MeasureFn 8.46 Meter))
        (weight ?CH53E
            (MeasureFn 15071 Kilogram))
        (effectiveRange ?CH53E
            (MeasureFn 2000 Kilometer))))		 MilitaryDevices.kif 1788-1800
(=>
    (instance ?DragonWeapon DragonWeapon)
    (weight ?DragonWeapon
        (MeasureFn 33.9 PoundMass)))		 MilitaryDevices.kif 707-710
(=>
    (instance ?GAU12U GAU12U)
    (weight ?GAU12U
        (MeasureFn 122 Kilogram)))		 MilitaryDevices.kif 321-324
(=>
    (instance ?Harrier Harrier2)
    (and
        (length ?Harrier
            (MeasureFn 14.1 Meter))
        (width ?Harrier
            (MeasureFn 9.2 Meter))
        (height ?Harrier
            (MeasureFn 3.5 Meter))
        (weight ?Harrier
            (MeasureFn 5700 Kilogram))
        (effectiveRange ?Harrier
            (MeasureFn 1000 Kilometer))))		 MilitaryDevices.kif 1744-1756
(=>
    (instance ?JavelinWeapon JavelinWeapon)
    (weight ?JavelinWeapon
        (MeasureFn 49.5 PoundMass)))		 MilitaryDevices.kif 766-769
(=>
    (instance ?LAV LAV25)
    (and
        (length ?LAV
            (MeasureFn 6.39 Meter))
        (width ?LAV
            (MeasureFn 2.5 Meter))
        (height ?LAV
            (MeasureFn 2.69 Meter))
        (weight ?LAV
            (MeasureFn 12802.8 Kilogram))
        (effectiveRange ?LAV
            (MeasureFn 660.1 Kilometer))))		 MilitaryDevices.kif 1542-1554
(=>
    (instance ?M240 M240)
    (weight ?M240
        (MeasureFn 12.5 Kilogram)))		 MilitaryDevices.kif 398-401
(=>
    (instance ?M242 M242)
    (weight ?M242
        (MeasureFn 110 Kilogram)))		 MilitaryDevices.kif 294-297
(=>
    (instance ?M2Browning M2Browning)
    (weight ?M2Browning
        (MeasureFn 38 Kilogram)))		 MilitaryDevices.kif 502-505
(=>
    (instance ?M3M M3M)
    (weight ?M3M
        (MeasureFn 35.8 Kilogram)))		 MilitaryDevices.kif 579-582
(=>
    (instance ?M60 M60)
    (weight ?M60
        (MeasureFn 10.5 Kilogram)))		 MilitaryDevices.kif 438-441
(=>
    (instance ?MK19 MK19)
    (weight ?MK19
        (MeasureFn 33 Kilogram)))		 MilitaryDevices.kif 641-644
(=>
    (instance ?SMAWBunkerBuster SMAWBunkerBuster)
    (weight ?SMAWBunkerBuster
        (MeasureFn 7.54 Kilogram)))		 MilitaryDevices.kif 833-836
(=>
    (instance ?XM218 XM218)
    (weight ?XM218
        (MeasureFn 27 Kilogram)))		 MilitaryDevices.kif 536-539
(=>
    (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 92-104


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