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 7302-7303
(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 7305-7305 例 公斤 and SystemeInternationalUnit
(instance Kilogram UnitOfMass) Merge.kif 7306-7306 例 公斤 and UnitOfMass

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


(termFormat ChineseLanguage Kilogram "公斤") domainEnglishFormat.kif 32562-32562
(termFormat ChineseTraditionalLanguage Kilogram "公斤") domainEnglishFormat.kif 32561-32561
(termFormat EnglishLanguage Kilogram "kilogram") domainEnglishFormat.kif 32560-32560

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


(=>
    (defaultMeasure FortyFtContainer
        (MeasureFn ?X Kilogram))
    (and
        (greaterThanOrEqualTo ?X 2800)
        (lessThanOrEqualTo ?X 4000)))		 Transportation.kif 2950-2955
(=>
    (defaultMeasure TwentyFtContainer
        (MeasureFn ?X Kilogram))
    (and
        (greaterThanOrEqualTo ?X 1800)
        (lessThanOrEqualTo ?X 2400)))		 Transportation.kif 2812-2817

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


(=>
    (and
        (instance ?T FortyFtContainer)
        (attribute ?T Dry))
    (capacity ?T
        (MeasureFn 26480 Kilogram)))		 Transportation.kif 2960-2965
(=>
    (and
        (instance ?T TwentyFtContainer)
        (attribute ?T Dry))
    (capacity ?T
        (MeasureFn 21600 Kilogram)))		 Transportation.kif 2822-2827
(=>
    (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 1392-1404
(=>
    (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 1312-1324
(=>
    (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 2057-2069
(=>
    (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 1346-1358
(=>
    (instance ?BGM71TOW BGM71TOW)
    (weight ?BGM71TOW
        (MeasureFn 18.9 Kilogram)))		 MilitaryDevices.kif 1012-1015
(=>
    (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 2017-2029
(=>
    (instance ?CH46D CH46D)
    (and
        (personTransportCapability ?CH46D 25)
        (maximumPayloadCapacity ?CH46D
            (MeasureFn 3131.0 Kilogram))))		 MilitaryDevices.kif 2039-2044
(=>
    (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 1945-1957
(=>
    (instance ?CH53E CH53E)
    (and
        (personTransportCapability ?CH53E 55)
        (maximumPayloadCapacity ?CH53E
            (MeasureFn 14515.0 Kilogram))))		 MilitaryDevices.kif 1969-1974
(=>
    (instance ?GAU12U GAU12U)
    (weight ?GAU12U
        (MeasureFn 122.0 Kilogram)))		 MilitaryDevices.kif 478-481
(=>
    (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 1901-1913
(=>
    (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 1699-1711
(=>
    (instance ?M240 M240)
    (weight ?M240
        (MeasureFn 12.5 Kilogram)))		 MilitaryDevices.kif 555-558
(=>
    (instance ?M242 M242)
    (weight ?M242
        (MeasureFn 110.0 Kilogram)))		 MilitaryDevices.kif 451-454
(=>
    (instance ?M2Browning M2Browning)
    (weight ?M2Browning
        (MeasureFn 38.0 Kilogram)))		 MilitaryDevices.kif 659-662
(=>
    (instance ?M3M M3M)
    (weight ?M3M
        (MeasureFn 35.8 Kilogram)))		 MilitaryDevices.kif 736-739
(=>
    (instance ?M60 M60)
    (weight ?M60
        (MeasureFn 10.5 Kilogram)))		 MilitaryDevices.kif 595-598
(=>
    (instance ?MK19 MK19)
    (weight ?MK19
        (MeasureFn 33.0 Kilogram)))		 MilitaryDevices.kif 798-801
(=>
    (instance ?SMAWBunkerBuster SMAWBunkerBuster)
    (weight ?SMAWBunkerBuster
        (MeasureFn 7.54 Kilogram)))		 MilitaryDevices.kif 990-993
(=>
    (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 2873-2883
(=>
    (instance ?XM218 XM218)
    (weight ?XM218
        (MeasureFn 27.0 Kilogram)))		 MilitaryDevices.kif 693-696

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


(defaultMaximumMeasure FortyFtContainer
    (MeasureFn 30480 Kilogram))		 Transportation.kif 2957-2958 FortyFtContainer 的 maximum 預期價值是 測量 30480 and 公斤
(defaultMaximumMeasure TwentyFtContainer
    (MeasureFn 24000 Kilogram))		 Transportation.kif 2819-2820 TwentyFtContainer 的 maximum 預期價值是 測量 24000 and 公斤
(defaultMaximumMeasure TwentyFtHeavyDutyContainer
    (MeasureFn 30500 Kilogram))		 Transportation.kif 2885-2886 TwentyFtHeavyDutyContainer 的 maximum 預期價值是 測量 30500 and 公斤
(equal
    (MeasureFn ?NUMBER Kilogram)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Gram))		 Merge.kif 7308-7311 等於 測量 RealNumber and 公斤 and 測量 乘法 RealNumber and 1000 and 公克


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