Centimeter
|
|
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 ist ein fall von UnitOfLength %n{nicht} |
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 |
(=> (and (instance ?CPR CPR) (instance ?C Compressing) (path ?C ?P) (subProcess ?C ?CPR) (length ?P (MeasureFn ?L Centimeter))) (and (greaterThan ?L 5.0) (lessThan ?L 6.0))) |
Medicine.kif 620-630 |
|
(=> (and (instance ?D Dune) (height ?D (MeasureFn ?N Centimeter))) (greaterThan ?D 7.0)) |
Geography.kif 4401-4405 |
|
(=> (and (instance ?ET AuditoryCanal) (part ?ET ?H) (attribute ?H Healthy) (length ?ET (MeasureFn ?N Centimeter))) (approximateValue ?N 2.5)) |
Anatomy.kif 1567-1574 |
|
(=> (and (instance ?ET EustachianTube) (part ?ET ?H) (attribute ?H Healthy) (length ?ET (MeasureFn ?N Centimeter))) (approximateValue ?N 35.0)) |
Anatomy.kif 1517-1524 |
|
consequent |
statement |
(defaultMaximumLength Hamster (MeasureFn 10.0 Centimeter)) |
Mid-level-ontology.kif 30636-30636 | defaultMaximumLength Hamster and 10.0 Centimeter(s) |
(defaultMinimumLength Hamster (MeasureFn 5.0 Centimeter)) |
Mid-level-ontology.kif 30637-30637 | defaultMinimumLength Hamster and 5.0 Centimeter(s) |
(equal (MeasureFn ?NUMBER Centimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.01) Meter)) |
Merge.kif 6781-6783 | RealNumber Centimeter(s) ist gleich ** RealNumber und 0.01 Meter(s) %n{nicht} |