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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Kilogram
Kilogram(kilogram)
more pictures...		kg, kilo, kilogram, 公斤

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


(documentation Kilogram ChineseLanguage "这是 Gramm 的倍数，符号：kg. 1 Kilogram = 1000克。") Merge.kif 10614-10615
(documentation Kilogram EnglishLanguage "Supermultiple of Gram. Symbol: kg. 1 Kilogram = 1000 Grams.") Merge.kif 10611-10612
(documentation Kilogram JapaneseLanguage "Gram の超多重項。シンボル: kg。1 Kilogram = 1000 Grams。") Merge.kif 10617-10618
(externalImage Kilogram "http://upload.wikimedia.org/wikipedia/commons/4/ 41/ Silicon_sphere_for_Avogadro_project.jpg") pictureList.kif 6651-6651 "http://upload.wikimedia.org/wikipedia/commons/4/41/ Silicon_sphere_for_Avogadro_project.jpg" is a URL depicting kilogram
(externalImage Kilogram "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ Lasertests.jpg") pictureList.kif 7143-7143 "http://upload.wikimedia.org/wikipedia/commons/4/4c/ Lasertests.jpg" is a URL depicting kilogram
(externalImage Kilogram "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ CGKilogram.jpg") pictureList.kif 7144-7144 "http://upload.wikimedia.org/wikipedia/commons/b/b5/ CGKilogram.jpg" is a URL depicting kilogram
(externalImage Kilogram "http://upload.wikimedia.org/wikipedia/en/2/23/Meissner_effect_zoom.jpg") pictureList.kif 7145-7145 "http://upload.wikimedia.org/wikipedia/en/2/23/Meissner_effect_zoom.jpg" is a URL depicting kilogram
(externalImage Kilogram "http://upload.wikimedia.org/wikipedia/en/9/90/Michelson_Interferometer_Laser_Interference_Fringes-Red.jpg") pictureList.kif 7146-7146 "http://upload.wikimedia.org/wikipedia/en/9/90/Michelson_Interferometer_Laser_Interference_Fringes-Red.jpg" is a URL depicting kilogram
(externalImage Kilogram "http://upload.wikimedia.org/wikipedia/en/d/d1/Denmark%E2%80%99s_K48_Kilogram.jpg") pictureList.kif 7149-7149 "http://upload.wikimedia.org/wikipedia/en/d/d1/Denmark%E2%80%99s_K48_Kilogram.jpg" is a URL depicting kilogram
(instance Kilogram SystemeInternationalUnit) Merge.kif 10620-10620 Kilogram is an instance of systeme international unit
(instance Kilogram UnitOfMass) Merge.kif 10621-10621 Kilogram is an instance of UnitOfMass

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


(termFormat ChineseLanguage Kilogram "公斤") domainEnglishFormat.kif 32461-32461 "公斤" is the printable form of kilogram in ChineseLanguage
(termFormat ChineseTraditionalLanguage Kilogram "公斤") domainEnglishFormat.kif 32460-32460 "公斤" is the printable form of kilogram in ChineseTraditionalLanguage
(termFormat EnglishLanguage Kilogram "kilogram") domainEnglishFormat.kif 32459-32459 "kilogram" is the printable form of kilogram in english language

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


(=>
    (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 1234-1246
(=>
    (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 1154-1166
(=>
    (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 1899-1911
(=>
    (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 1188-1200
(=>
    (instance ?BGM71TOW BGM71TOW)
    (weight ?BGM71TOW
        (MeasureFn 18.9 Kilogram)))		 MilitaryDevices.kif 854-857
(=>
    (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 1859-1871
(=>
    (instance ?CH46D CH46D)
    (and
        (personTransportCapability ?CH46D 25)
        (maximumPayloadCapacity ?CH46D
            (MeasureFn 3131 Kilogram))))		 MilitaryDevices.kif 1881-1886
(=>
    (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 1787-1799
(=>
    (instance ?CH53E CH53E)
    (and
        (personTransportCapability ?CH53E 55)
        (maximumPayloadCapacity ?CH53E
            (MeasureFn 14515 Kilogram))))		 MilitaryDevices.kif 1811-1816
(=>
    (instance ?GAU12U GAU12U)
    (weight ?GAU12U
        (MeasureFn 122 Kilogram)))		 MilitaryDevices.kif 320-323
(=>
    (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 1743-1755
(=>
    (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 1541-1553
(=>
    (instance ?M240 M240)
    (weight ?M240
        (MeasureFn 12.5 Kilogram)))		 MilitaryDevices.kif 397-400
(=>
    (instance ?M242 M242)
    (weight ?M242
        (MeasureFn 110 Kilogram)))		 MilitaryDevices.kif 293-296
(=>
    (instance ?M2Browning M2Browning)
    (weight ?M2Browning
        (MeasureFn 38 Kilogram)))		 MilitaryDevices.kif 501-504
(=>
    (instance ?M3M M3M)
    (weight ?M3M
        (MeasureFn 35.8 Kilogram)))		 MilitaryDevices.kif 578-581
(=>
    (instance ?M60 M60)
    (weight ?M60
        (MeasureFn 10.5 Kilogram)))		 MilitaryDevices.kif 437-440
(=>
    (instance ?MK19 MK19)
    (weight ?MK19
        (MeasureFn 33 Kilogram)))		 MilitaryDevices.kif 640-643
(=>
    (instance ?SMAWBunkerBuster SMAWBunkerBuster)
    (weight ?SMAWBunkerBuster
        (MeasureFn 7.54 Kilogram)))		 MilitaryDevices.kif 832-835
(=>
    (instance ?XM218 XM218)
    (weight ?XM218
        (MeasureFn 27 Kilogram)))		 MilitaryDevices.kif 535-538

statement
-------------------------


(equal
    (MeasureFn ?NUMBER Kilogram)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Gram))		 Merge.kif 10623-10626 A real number kilogram(s) is equal to the real number and 1000 gram(s)


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