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 7201-7202
(domain weight 1 SelfConnectedObject) Merge.kif 7196-7196 The number 1 argument of weight is an instance of self connected object
(domain weight 2 MassMeasure) Merge.kif 7197-7197 The number 2 argument of weight is an instance of mass measure
(instance weight BinaryPredicate) Merge.kif 7198-7198 weight is an instance of binary predicate
(subrelation weight measure) Merge.kif 7199-7199 weight is a subrelation of measure

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 62646-62646
(termFormat ChineseTraditionalLanguage weight "重量") domainEnglishFormat.kif 62645-62645
(termFormat EnglishLanguage weight "weight") domainEnglishFormat.kif 62644-62644

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


(=>
    (and
        (equal
            (MeasureFn ?Y McgPerKg)
            (PerFn ?M1 ?M2))
        (equal ?M1
            (MeasureFn ?NUM1
                (MicroFn Gram)))
        (equal ?M2
            (MeasureFn ?NUM2
                (KiloFn Gram))))
    (exists (?I ?B ?A)
        (and
            (instance ?I Ingesting)
            (instance ?B BiologicallyActiveSubstance)
            (instance ?A Organism)
            (patient ?I ?B)
            (agent ?I ?A)
            (weight ?B ?M1)
            (weight ?A ?M2))))
WMD.kif 823-840
(=>
    (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.0 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.0 Kilogram))
        (effectiveRange ?AGM114
            (MeasureFn 8.0 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.0 Kilogram))
        (effectiveRange ?AGM65
            (MeasureFn 27.0 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.0 Kilogram))
        (effectiveRange ?AH1
            (MeasureFn 587.0 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.0 Kilogram))
        (effectiveRange ?AIM9
            (MeasureFn 18.0 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.0 Kilogram))
        (effectiveRange ?CH46D
            (MeasureFn 676.0 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.0 Kilogram))
        (effectiveRange ?CH53E
            (MeasureFn 2000.0 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.0 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.0 Kilogram))
        (effectiveRange ?Harrier
            (MeasureFn 1000.0 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.0 Kilogram)))
MilitaryDevices.kif 294-297
(=>
    (instance ?M2Browning M2Browning)
    (weight ?M2Browning
        (MeasureFn 38.0 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.0 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.0 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