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

Formal Language: 



KB Term:  Term intersection
English Word: 

  weight

 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 7004-7005
(domain weight 1 SelfConnectedObject) Merge.kif 6999-6999
(domain weight 2 MassMeasure) Merge.kif 7000-7000
(instance weight BinaryPredicate) Merge.kif 7001-7001
(subrelation weight measure) Merge.kif 7002-7002

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 62663-62663
(termFormat ChineseTraditionalLanguage weight "重量") domainEnglishFormat.kif 62662-62662
(termFormat EnglishLanguage weight "weight") domainEnglishFormat.kif 62661-62661

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