Kilogram - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Kilogram

Kilogram(kilogram)

more pictures...

kg, kilo, kilogram

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	Kilogram is an instance of systeme international unit
(instance Kilogram UnitOfMass)	Merge.kif 7321-7321	Kilogram is an instance of unit of mass

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	If the expected value of forty foot container is a real number kilogram(s), then the real number is greater than or equal to 2800 and the real number is less than or equal to 4000
(=> (defaultMeasure TwentyFtContainer (MeasureFn ?X Kilogram)) (and (greaterThanOrEqualTo ?X 1800) (lessThanOrEqualTo ?X 2400)))	Transportation.kif 2812-2817	If the expected value of twenty foot container is a real number kilogram(s), then the real number is greater than or equal to 1800 and the real number is less than or equal to 2400

consequent

(=> (and (instance ?T FortyFtContainer) (attribute ?T Dry)) (capacity ?T (MeasureFn 26480 Kilogram)))	Transportation.kif 2960-2965	If a self connected object is an instance of forty foot container and dry is an attribute of the self connected object, then 26480 kilogram(s) is a capacity of the self connected object
(=> (and (instance ?T TwentyFtContainer) (attribute ?T Dry)) (capacity ?T (MeasureFn 21600 Kilogram)))	Transportation.kif 2822-2827	If a self connected object is an instance of twenty foot container and dry is an attribute of the self connected object, then 21600 kilogram(s) is a capacity of the self connected object
(=> (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	If a physical is an instance of twenty foot heavy duty container, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of object and the physical contains the entity and the measure of the entity is the other entity kilogram(s) and the other entity is greater than 21600 and the other entity is less than or equal to 28080

statement

(defaultMaximumMeasure FortyFtContainer (MeasureFn 30480 Kilogram))	Transportation.kif 2957-2958	The maximum expected value of forty foot container is 30480 kilogram(s)
(defaultMaximumMeasure TwentyFtContainer (MeasureFn 24000 Kilogram))	Transportation.kif 2819-2820	The maximum expected value of twenty foot container is 24000 kilogram(s)
(defaultMaximumMeasure TwentyFtHeavyDutyContainer (MeasureFn 30500 Kilogram))	Transportation.kif 2885-2886	The maximum expected value of twenty foot heavy duty container is 30500 kilogram(s)
(equal (MeasureFn ?NUMBER Kilogram) (MeasureFn (MultiplicationFn ?NUMBER 1000) Gram))	Merge.kif 7323-7326	equal a real number kilogram(s) and 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