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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Kilogram
Kilogram
more pictures...

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


(documentation Kilogram ChineseLanguage "这是 Gramm 的倍数，符号：kg. 1 Kilogram = 1000克。") chinese_format.kif 2604-2605
(documentation Kilogram EnglishLanguage "Supermultiple of Gram. Symbol: kg. 1 Kilogram = 1000 Grams.") Merge.kif 7274-7275
(documentation Kilogram JapaneseLanguage "Gram の超多重項。シンボル: kg。1 Kilogram = 1000 Grams。") japanese_format.kif 1317-1318
(externalImage Kilogram "http://upload.wikimedia.org/wikipedia/commons/4/ 41/ Silicon_sphere_for_Avogadro_project.jpg") pictureList.kif 6649-6649
(externalImage Kilogram "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ Lasertests.jpg") pictureList.kif 7140-7140
(externalImage Kilogram "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ CGKilogram.jpg") pictureList.kif 7141-7141
(externalImage Kilogram "http://upload.wikimedia.org/wikipedia/en/2/23/Meissner_effect_zoom.jpg") pictureList.kif 7142-7142
(externalImage Kilogram "http://upload.wikimedia.org/wikipedia/en/9/90/Michelson_Interferometer_Laser_Interference_Fringes-Red.jpg") pictureList.kif 7143-7143
(externalImage Kilogram "http://upload.wikimedia.org/wikipedia/en/d/d1/Denmark%E2%80%99s_K48_Kilogram.jpg") pictureList.kif 7146-7146
(instance Kilogram SystemeInternationalUnit) Merge.kif 7277-7277
(instance Kilogram UnitOfMass) Merge.kif 7278-7278

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


(termFormat ChineseLanguage Kilogram "公斤") domainEnglishFormat.kif 32580-32580
(termFormat ChineseTraditionalLanguage Kilogram "公斤") domainEnglishFormat.kif 32579-32579
(termFormat EnglishLanguage Kilogram "kilogram") domainEnglishFormat.kif 32578-32578

antecedent
-------------------------


(=>
    (defaultMeasure FortyFtContainer
        (MeasureFn ?X Kilogram))
    (and
        (greaterThanOrEqualTo ?X 2800)
        (lessThanOrEqualTo ?X 4000)))		 Transportation.kif 2941-2946
(=>
    (defaultMeasure TwentyFtContainer
        (MeasureFn ?X Kilogram))
    (and
        (greaterThanOrEqualTo ?X 1800)
        (lessThanOrEqualTo ?X 2400)))		 Transportation.kif 2803-2808

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


(=>
    (and
        (instance ?T FortyFtContainer)
        (attribute ?T Dry))
    (capacity ?T
        (MeasureFn 26480 Kilogram)))		 Transportation.kif 2951-2956
(=>
    (and
        (instance ?T TwentyFtContainer)
        (attribute ?T Dry))
    (capacity ?T
        (MeasureFn 21600 Kilogram)))		 Transportation.kif 2813-2818
(=>
    (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 ?CH46D CH46D)
    (and
        (personTransportCapability ?CH46D 25)
        (maximumPayloadCapacity ?CH46D
            (MeasureFn 3131.0 Kilogram))))		 MilitaryDevices.kif 1882-1887
(=>
    (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 ?CH53E CH53E)
    (and
        (personTransportCapability ?CH53E 55)
        (maximumPayloadCapacity ?CH53E
            (MeasureFn 14515.0 Kilogram))))		 MilitaryDevices.kif 1812-1817
(=>
    (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 ?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 ?T TwentyFtHeavyDutyContainer)
    (hasPurpose ?T
        (exists (?O ?X)
            (and
                (instance ?O Object)
                (contains ?T ?O)
                (measure ?O
                    (MeasureFn ?X Kilogram))
                (greaterThan ?X 21600)
                (lessThanOrEqualTo ?X 28080)))))		 Transportation.kif 2864-2874
(=>
    (instance ?XM218 XM218)
    (weight ?XM218
        (MeasureFn 27.0 Kilogram)))		 MilitaryDevices.kif 536-539

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


(defaultMaximumMeasure FortyFtContainer
    (MeasureFn 30480 Kilogram))		 Transportation.kif 2948-2949
(defaultMaximumMeasure TwentyFtContainer
    (MeasureFn 24000 Kilogram))		 Transportation.kif 2810-2811
(defaultMaximumMeasure TwentyFtHeavyDutyContainer
    (MeasureFn 30500 Kilogram))		 Transportation.kif 2876-2877
(equal
    (MeasureFn ?NUMBER Kilogram)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Gram))		 Merge.kif 7280-7283


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