Kilogram - Sigma Knowledge base Browser

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 6989-6990
(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 6992-6992	Kilogram is an instance of systeme international unit
(instance Kilogram UnitOfMass)	Merge.kif 6993-6993	Kilogram is an instance of UnitOfMass

appearance as argument number 2

(termFormat ChineseLanguage Kilogram "公斤")	domainEnglishFormat.kif 32545-32545
(termFormat ChineseTraditionalLanguage Kilogram "公斤")	domainEnglishFormat.kif 32544-32544
(termFormat EnglishLanguage Kilogram "kilogram")	domainEnglishFormat.kif 32543-32543

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 1235-1247	If a self connected object is an instance of AG m114, then the length of the self connected object is 1.63 meter(s) and the width of the self connected object is 0.71 meter(s) and the height of the self connected object is 0.71 meter(s) and 45 kilogram(s) is a weight of the self connected object and 8 kilometer(s) is an effective range of the self connected object
(=> (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 1155-1167	If a self connected object is an instance of AG m65, then the length of the self connected object is 2.55 meter(s) and the width of the self connected object is 0.7 meter(s) and the height of the self connected object is 0.7 meter(s) and 302 kilogram(s) is a weight of the self connected object and 27 kilometer(s) is an effective range of the self connected object
(=> (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 1900-1912	If a self connected object is an instance of A h1, then the length of the self connected object is 17.68 meter(s) and the width of the self connected object is 14.63 meter(s) and the height of the self connected object is 4.44 meter(s) and 4634 kilogram(s) is a weight of the self connected object and 587 kilometer(s) is an effective range of the self connected object
(=> (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 1189-1201	If a self connected object is an instance of AI m9, then the length of the self connected object is 2.85 meter(s) and the width of the self connected object is 0.63 meter(s) and the height of the self connected object is 0.63 meter(s) and 91 kilogram(s) is a weight of the self connected object and 18 kilometer(s) is an effective range of the self connected object
(=> (instance ?BGM71TOW BGM71TOW) (weight ?BGM71TOW (MeasureFn 18.9 Kilogram)))	MilitaryDevices.kif 855-858	If a self connected object is an instance of BG m71TO w, then 18.9 kilogram(s) is a weight of the self connected object
(=> (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 1860-1872	If a self connected object is an instance of C h46 d, then the length of the self connected object is 25.72 meter(s) and the width of the self connected object is 15.54 meter(s) and the height of the self connected object is 5.1 meter(s) and 7047 kilogram(s) is a weight of the self connected object and 676 kilometer(s) is an effective range of the self connected object
(=> (instance ?CH46D CH46D) (and (personTransportCapability ?CH46D 25) (maximumPayloadCapacity ?CH46D (MeasureFn 3131 Kilogram))))	MilitaryDevices.kif 1882-1887	If a passenger vehicle is an instance of C h46 d, then 25 is a person transport capability of the passenger vehicle and 3131 kilogram(s) is a maximum payload capacity of the passenger vehicle
(=> (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 1788-1800	If a self connected object is an instance of C h53 e, then the length of the self connected object is 30.2 meter(s) and the width of the self connected object is 24.1 meter(s) and the height of the self connected object is 8.46 meter(s) and 15071 kilogram(s) is a weight of the self connected object and 2000 kilometer(s) is an effective range of the self connected object
(=> (instance ?CH53E CH53E) (and (personTransportCapability ?CH53E 55) (maximumPayloadCapacity ?CH53E (MeasureFn 14515 Kilogram))))	MilitaryDevices.kif 1812-1817	If a passenger vehicle is an instance of C h53 e, then 55 is a person transport capability of the passenger vehicle and 14515 kilogram(s) is a maximum payload capacity of the passenger vehicle
(=> (instance ?GAU12U GAU12U) (weight ?GAU12U (MeasureFn 122 Kilogram)))	MilitaryDevices.kif 321-324	If a self connected object is an instance of GAU12U, then 122 kilogram(s) is a weight of the self connected object
(=> (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 1744-1756	If a self connected object is an instance of harrier2, then the length of the self connected object is 14.1 meter(s) and the width of the self connected object is 9.2 meter(s) and the height of the self connected object is 3.5 meter(s) and 5700 kilogram(s) is a weight of the self connected object and 1000 kilometer(s) is an effective range of the self connected object
(=> (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	If a self connected object is an instance of LAV25, then the length of the self connected object is 6.39 meter(s) and the width of the self connected object is 2.5 meter(s) and the height of the self connected object is 2.69 meter(s) and 12802.8 kilogram(s) is a weight of the self connected object and 660.1 kilometer(s) is an effective range of the self connected object
(=> (instance ?M240 M240) (weight ?M240 (MeasureFn 12.5 Kilogram)))	MilitaryDevices.kif 398-401	If a self connected object is an instance of m240, then 12.5 kilogram(s) is a weight of the self connected object
(=> (instance ?M242 M242) (weight ?M242 (MeasureFn 110 Kilogram)))	MilitaryDevices.kif 294-297	If a self connected object is an instance of m242, then 110 kilogram(s) is a weight of the self connected object
(=> (instance ?M2Browning M2Browning) (weight ?M2Browning (MeasureFn 38 Kilogram)))	MilitaryDevices.kif 502-505	If a self connected object is an instance of m2 browning, then 38 kilogram(s) is a weight of the self connected object
(=> (instance ?M3M M3M) (weight ?M3M (MeasureFn 35.8 Kilogram)))	MilitaryDevices.kif 579-582	If a self connected object is an instance of M3M, then 35.8 kilogram(s) is a weight of the self connected object
(=> (instance ?M60 M60) (weight ?M60 (MeasureFn 10.5 Kilogram)))	MilitaryDevices.kif 438-441	If a self connected object is an instance of m60, then 10.5 kilogram(s) is a weight of the self connected object
(=> (instance ?MK19 MK19) (weight ?MK19 (MeasureFn 33 Kilogram)))	MilitaryDevices.kif 641-644	If a self connected object is an instance of Mk19, then 33 kilogram(s) is a weight of the self connected object
(=> (instance ?SMAWBunkerBuster SMAWBunkerBuster) (weight ?SMAWBunkerBuster (MeasureFn 7.54 Kilogram)))	MilitaryDevices.kif 833-836	If a self connected object is an instance of SMAW bunker buster, then 7.54 kilogram(s) is a weight of the self connected object
(=> (instance ?XM218 XM218) (weight ?XM218 (MeasureFn 27 Kilogram)))	MilitaryDevices.kif 536-539	If a self connected object is an instance of XM218, then 27 kilogram(s) is a weight of the self connected object

statement

(equal
    (MeasureFn ?NUMBER Kilogram)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Gram))

Merge.kif 6995-6998

A real number kilogram(s) is equal to the real number and 1000 gram(s)

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

KB Term:			Term intersection

English Word: