more pictures...
| Kilogram
more pictures... | | kg, kilo, kilogram |
| appearance as argument number 1 |
|
|
| (documentation Kilogram ChineseLanguage "这是 Gramm 的倍数，符号：kg. 1 Kilogram = 1000克。") | Merge.kif 7536-7537 | |
| (documentation Kilogram EnglishLanguage "Supermultiple of Gram. Symbol: kg. 1 Kilogram = 1000 Grams.") | Merge.kif 7534-7535 | |
| (externalImage Kilogram "http://upload.wikimedia.org/wikipedia/commons/4/ 41/ Silicon_sphere_for_Avogadro_project.jpg") | pictureList.kif 6651-6651 | |
| (externalImage Kilogram "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ Lasertests.jpg") | pictureList.kif 7143-7143 | |
| (externalImage Kilogram "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ CGKilogram.jpg") | pictureList.kif 7144-7144 | |
| (externalImage Kilogram "http://upload.wikimedia.org/wikipedia/en/2/23/Meissner_effect_zoom.jpg") | pictureList.kif 7145-7145 | |
| (externalImage Kilogram "http://upload.wikimedia.org/wikipedia/en/9/90/Michelson_Interferometer_Laser_Interference_Fringes-Red.jpg") | pictureList.kif 7146-7146 | |
| (externalImage Kilogram "http://upload.wikimedia.org/wikipedia/en/d/d1/Denmark%E2%80%99s_K48_Kilogram.jpg") | pictureList.kif 7149-7149 | |
| (instance Kilogram SystemeInternationalUnit) | Merge.kif 7538-7538 | |
| (instance Kilogram UnitOfMass) | Merge.kif 7539-7539 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Kilogram "kilogram") | domainEnglishFormat.kif 5843-5843 |
| 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 Kilogram)) (effectiveRange ?AGM114 (MeasureFn 8 Kilometer)))) |
MilitaryDevices.kif 1234-1246 | |
| (=> (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 Kilogram)) (effectiveRange ?AGM65 (MeasureFn 27 Kilometer)))) |
MilitaryDevices.kif 1154-1166 | |
| (=> (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 Kilogram)) (effectiveRange ?AH1 (MeasureFn 587 Kilometer)))) |
MilitaryDevices.kif 1899-1911 | |
| (=> (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 Kilogram)) (effectiveRange ?AIM9 (MeasureFn 18 Kilometer)))) |
MilitaryDevices.kif 1188-1200 | |
| (=> (instance ?BGM71TOW BGM71TOW) (weight ?BGM71TOW (MeasureFn 18.9 Kilogram))) |
MilitaryDevices.kif 854-857 | |
| (=> (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 Kilogram)) (effectiveRange ?CH46D (MeasureFn 676 Kilometer)))) |
MilitaryDevices.kif 1859-1871 | |
| (=> (instance ?CH46D CH46D) (and (personTransportCapability ?CH46D 25) (maximumPayloadCapacity ?CH46D (MeasureFn 3131 Kilogram)))) |
MilitaryDevices.kif 1881-1886 | |
| (=> (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 Kilogram)) (effectiveRange ?CH53E (MeasureFn 2000 Kilometer)))) |
MilitaryDevices.kif 1787-1799 | |
| (=> (instance ?CH53E CH53E) (and (personTransportCapability ?CH53E 55) (maximumPayloadCapacity ?CH53E (MeasureFn 14515 Kilogram)))) |
MilitaryDevices.kif 1811-1816 | |
| (=> (instance ?GAU12U GAU12U) (weight ?GAU12U (MeasureFn 122 Kilogram))) |
MilitaryDevices.kif 320-323 | |
| (=> (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 Kilogram)) (effectiveRange ?Harrier (MeasureFn 1000 Kilometer)))) |
MilitaryDevices.kif 1743-1755 | |
| (=> (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 1541-1553 | |
| (=> (instance ?M240 M240) (weight ?M240 (MeasureFn 12.5 Kilogram))) |
MilitaryDevices.kif 397-400 | |
| (=> (instance ?M242 M242) (weight ?M242 (MeasureFn 110 Kilogram))) |
MilitaryDevices.kif 293-296 | |
| (=> (instance ?M2Browning M2Browning) (weight ?M2Browning (MeasureFn 38 Kilogram))) |
MilitaryDevices.kif 501-504 | |
| (=> (instance ?M3M M3M) (weight ?M3M (MeasureFn 35.8 Kilogram))) |
MilitaryDevices.kif 578-581 | |
| (=> (instance ?M60 M60) (weight ?M60 (MeasureFn 10.5 Kilogram))) |
MilitaryDevices.kif 437-440 | |
| (=> (instance ?MK19 MK19) (weight ?MK19 (MeasureFn 33 Kilogram))) |
MilitaryDevices.kif 640-643 | |
| (=> (instance ?SMAWBunkerBuster SMAWBunkerBuster) (weight ?SMAWBunkerBuster (MeasureFn 7.54 Kilogram))) |
MilitaryDevices.kif 832-835 | |
| (=> (instance ?XM218 XM218) (weight ?XM218 (MeasureFn 27 Kilogram))) |
MilitaryDevices.kif 535-538 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER Kilogram) (MeasureFn (MultiplicationFn ?NUMBER 1000) Gram)) |
Merge.kif 7541-7544 |
|
|
|