more pictures...
| 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 |
|
|
|