| 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 6787-6788 | |
| (documentation Centimeter JapaneseLanguage "Meter のサブマルチ。 シンボル: cm。 Meterの １００番目の部分である。") | japanese_format.kif 1212-1213 | |
| (externalImage Centimeter "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ CarpentersRule.png") | pictureList.kif 5902-5902 | |
| (instance Centimeter UnitOfLength) | Merge.kif 6785-6785 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Centimeter "厘米") | domainEnglishFormat.kif 13773-13773 | |
| (termFormat ChineseTraditionalLanguage Centimeter "厘米") | domainEnglishFormat.kif 13772-13772 | |
| (termFormat EnglishLanguage Centimeter "centimeter") | domainEnglishFormat.kif 13771-13771 |
| 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 610-620 | |
| (=> (and (instance ?D Dune) (height ?D (MeasureFn ?N Centimeter))) (greaterThan ?N 7.0)) |
Geography.kif 4471-4475 | |
| (=> (and (instance ?ET AuditoryCanal) (part ?ET ?H) (attribute ?H Healthy) (length ?ET (MeasureFn ?N Centimeter))) (approximateValue ?N 2.5)) |
Anatomy.kif 1602-1609 | |
| (=> (and (instance ?ET EustachianTube) (part ?ET ?H) (attribute ?H Healthy) (length ?ET (MeasureFn ?N Centimeter))) (approximateValue ?N 35.0)) |
Anatomy.kif 1552-1559 |
| consequent |
|
|
| (=> (instance ?SNOWSTORM Snowstorm) (holdsDuring (WhenFn ?SNOWSTORM) (exists (?SNOW ?AREA ?NUM) (and (instance ?SNOW Snowing) (instance ?AREA GeographicArea) (eventLocated ?SNOW ?AREA) (subProcess ?SNOW ?SNOWSTORM) (snowfallIntensity ?AREA (WhenFn ?SNOW) (PerFn (MeasureFn ?NUM Centimeter) (MeasureFn 1 HourDuration))) (greaterThan ?NUM 5.0))))) |
Weather.kif 3457-3472 | |
| (=> (instance ?STUFF Hailstone) (exists (?CLASS) (and (instance ?STUFF ?CLASS) (defaultMinimumSphereRadius ?CLASS (MeasureFn 0.5 Centimeter)) (defaultMaximumSphereRadius ?CLASS (MeasureFn 15.0 Centimeter))))) |
Weather.kif 3600-3606 |
| statement |
|
|
| (defaultMaximumLength Hamster (MeasureFn 10.0 Centimeter)) |
Mid-level-ontology.kif 32548-32548 | |
| (defaultMinimumLength Hamster (MeasureFn 5.0 Centimeter)) |
Mid-level-ontology.kif 32549-32549 | |
| (equal (MeasureFn ?NUMBER Centimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.01) Meter)) |
Merge.kif 6790-6792 |
|
|
|