Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Centimeter
|
|
|
| appearance as argument number 1 |
|
|
| (instance Centimeter UnitOfLength) | Merge.kif 6894-6894 | Centimeter is an instance of unit of length |
| (documentation Centimeter EnglishLanguage "Submultiple of Meter. Symbol: cm. It is the 100th part of a Meter") | Merge.kif 6896-6897 | Centimeter is an instance of unit of length |
| (externalImage Centimeter "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ CarpentersRule.png") | pictureList.kif 5902-5902 | Centimeter is an instance of unit of length |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| 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 4208-4223 | If X is an instance of snow storm, then there exist Y, Z and W such that Y is an instance of snowing and Z is an instance of geographic area and Y is located at Z and Y is a subprocess of X and the rate of snow falling at Z during the time of existence of Y is the per of W centimeter(s) and 1 hour duration(s) and W is greater than 5.0 holds during the time of existence of X |
| (=> (instance ?STUFF Hailstone) (exists (?CLASS) (and (instance ?STUFF ?CLASS) (defaultMinimumSphereRadius ?CLASS (MeasureFn 0.5 Centimeter)) (defaultMaximumSphereRadius ?CLASS (MeasureFn 15.0 Centimeter))))) |
Weather.kif 4352-4358 | If X is an instance of hailstone, then there exists Y such that X is an instance of Y and the minimum expected radius of Y is 0.5 centimeter(s) and the maximum expected radius of Y is 15.0 centimeter(s) |
| statement |
|
|
|
