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 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 6650-6650 | |
| (externalImage Kilogram "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ Lasertests.jpg") | pictureList.kif 7141-7141 | |
| (externalImage Kilogram "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ CGKilogram.jpg") | pictureList.kif 7142-7142 | |
| (externalImage Kilogram "http://upload.wikimedia.org/wikipedia/en/2/23/Meissner_effect_zoom.jpg") | pictureList.kif 7143-7143 | |
| (externalImage Kilogram "http://upload.wikimedia.org/wikipedia/en/9/90/Michelson_Interferometer_Laser_Interference_Fringes-Red.jpg") | pictureList.kif 7144-7144 | |
| (externalImage Kilogram "http://upload.wikimedia.org/wikipedia/en/d/d1/Denmark%E2%80%99s_K48_Kilogram.jpg") | pictureList.kif 7147-7147 | |
| (instance Kilogram SystemeInternationalUnit) | Merge.kif 7277-7277 | |
| (instance Kilogram UnitOfMass) | Merge.kif 7278-7278 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Kilogram "公斤") | domainEnglishFormat.kif 32551-32551 | |
| (termFormat ChineseTraditionalLanguage Kilogram "公斤") | domainEnglishFormat.kif 32550-32550 | |
| (termFormat EnglishLanguage Kilogram "kilogram") | domainEnglishFormat.kif 32549-32549 |
| 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.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 ?XM218 XM218) (weight ?XM218 (MeasureFn 27.0 Kilogram))) |
MilitaryDevices.kif 536-539 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER Kilogram) (MeasureFn (MultiplicationFn ?NUMBER 1000) Gram)) |
Merge.kif 7280-7283 |
|
|
|