Centimeter(centimeter) | centimeter, centimetre, cm |
appearance as argument number 1 |
(documentation Centimeter ChineseLanguage "这是 Meter 的约数,符号:cm。它是100分之一 Meter。") | chinese_format.kif 2513-2514 | |
(documentation Centimeter EnglishLanguage "Submultiple of Meter. Symbol: cm. It is the 100th part of a Meter") | Merge.kif 6778-6779 | |
(documentation Centimeter JapaneseLanguage "Meter のサブマルチ。 シンボル: cm。 Meterの 100番目の部分である。") | japanese_format.kif 1212-1213 | |
(externalImage Centimeter "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ CarpentersRule.png") | pictureList.kif 5903-5903 | |
(instance Centimeter UnitOfLength) | Merge.kif 6776-6776 | Centimeter is an instance of unit of length |
appearance as argument number 2 |
(termFormat ChineseLanguage Centimeter "厘米") | domainEnglishFormat.kif 13764-13764 | |
(termFormat ChineseTraditionalLanguage Centimeter "厘米") | domainEnglishFormat.kif 13763-13763 | |
(termFormat EnglishLanguage Centimeter "centimeter") | domainEnglishFormat.kif 13762-13762 |
antecedent |
consequent |
statement |
(defaultMaximumLength Hamster (MeasureFn 10.0 Centimeter)) |
Mid-level-ontology.kif 30636-30636 | The maximum expected length of hamster is 10.0 centimeter(s) |
(defaultMinimumLength Hamster (MeasureFn 5.0 Centimeter)) |
Mid-level-ontology.kif 30637-30637 | The minimum expected length of hamster is 5.0 centimeter(s) |
(equal (MeasureFn ?NUMBER Centimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.01) Meter)) |
Merge.kif 6781-6783 | A real number centimeter(s) is equal to the real number and 0.01 meter(s) |