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 7317-7318
(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 7320-7320
(instance Kilogram UnitOfMass) Merge.kif 7321-7321

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

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


(defaultMaximumMeasure FortyFtContainer
    (MeasureFn 30480 Kilogram))
Transportation.kif 2957-2958
(defaultMaximumMeasure TwentyFtContainer
    (MeasureFn 24000 Kilogram))
Transportation.kif 2819-2820
(defaultMaximumMeasure TwentyFtHeavyDutyContainer
    (MeasureFn 30500 Kilogram))
Transportation.kif 2885-2886
(equal
    (MeasureFn ?NUMBER Kilogram)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Gram))
Merge.kif 7323-7326


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