LiquidDrop
|
|
appearance as argument number 1 |
(documentation LiquidDrop ChineseLanguage "LiquidDrop 是一滴液体, 它几乎完全由自由表面包围。") | Geography.kif 7486-7486 | |
(documentation LiquidDrop EnglishLanguage "A LiquidDrop is a small column of liquid, bounded almost completely by free surfaces.") | Geography.kif 7483-7484 | |
(subclass LiquidDrop Substance) | Geography.kif 7488-7488 | 液体滴 是 物质 的 subclass |
appearance as argument number 2 |
(subclass Droplet LiquidDrop) | Geography.kif 7519-7519 | 小滴液体 是 液体滴 的 subclass |
(subclass Raindrop LiquidDrop) | Weather.kif 2975-2975 | 雨点 是 液体滴 的 subclass |
(termFormat ChineseLanguage LiquidDrop "液体滴") | Geography.kif 7491-7491 | |
(termFormat EnglishLanguage LiquidDrop "liquid drop") | Geography.kif 7490-7490 |
antecedent |
(<=> (and (instance ?LD LiquidDrop) (approximateDiameter ?LD (MeasureFn ?S Micrometer)) (lessThan 500.0 ?S)) (instance ?LD Droplet)) |
Geography.kif 7524-7530 | 自身连接物体 是 液体滴 的 instance 和 1 的 approximate diameter 是 %2 和 500.0 是 lessThan 实数 若且唯若 那个 自身连接物体 是 小滴液体 的 instance |
(=> (and (instance ?LD LiquidDrop) (surface ?S ?LD)) (modalAttribute (exists (?SS ?LL) (and (instance ?LL Substance) (attribute ?LL Liquid) (not (equal ?LD ?LL)) (surface ?SS ?LL) (meetsSpatially ?S ?SS))) Unlikely)) |
Geography.kif 7497-7509 |
|
(=> (instance ?LD LiquidDrop) (attribute ?LD Liquid)) |
Geography.kif 7493-7495 |
consequent |
(=> (instance ?DRIZZLE Drizzling) (exists (?CLTN ?R ?SIZE) (and (instance ?CLTN Collection) (instance ?R Water) (instance ?R LiquidDrop) (member ?R ?CLTN) (objectTransferred ?DRIZZLE ?CLTN) (approximateDiameter ?R (MeasureFn ?SIZE Millimeter)) (modalAttribute (lessThanOrEqualTo ?SIZE 0.5) Likely)))) |
Weather.kif 2799-2811 | |
(=> (instance ?RAIN Raining) (exists (?CLTN ?R ?CLASS) (and (instance ?CLTN Collection) (instance ?R Water) (instance ?R LiquidDrop) (instance ?R ?CLASS (member ?R ?CLTN) (objectTransferred ?RAIN ?CLTN) (defaultMinimumSphereRadius ?CLASS (MeasureFn 0.1 Millimeter)) (defaultMaximumSphereRadius ?CLASS (MeasureFn 9.0 Millimeter)))))) |
Weather.kif 1053-1066 |