| LiquidDrop | |
| appearance as argument number 1 |
|
|
| (documentation LiquidDrop ChineseLanguage "LiquidDrop 是一滴液体， 它几乎完全由自由表面包围。") | Geography.kif 6836-6836 | |
| (documentation LiquidDrop EnglishLanguage "A LiquidDrop is a small column of liquid, bounded almost completely by free surfaces.") | Geography.kif 6833-6834 | |
| (subclass LiquidDrop Substance) | Geography.kif 6838-6838 |
| appearance as argument number 2 |
|
|
| (subclass Droplet LiquidDrop) | Geography.kif 6869-6869 | |
| (subclass Raindrop LiquidDrop) | Weather.kif 1424-1424 | |
| (termFormat ChineseLanguage LiquidDrop "液体滴") | Geography.kif 6841-6841 | |
| (termFormat EnglishLanguage LiquidDrop "liquid drop") | Geography.kif 6840-6840 |
| antecedent |
|
|
| (<=> (and (instance ?LD LiquidDrop) (approximateDiameter ?LD (MeasureFn ?S Micrometer)) (lessThan 500 ?S)) (instance ?LD Droplet)) |
Geography.kif 6874-6880 | |
| (=> (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) (meetSpatially ?S ?SS))) Unlikely)) |
Geography.kif 6847-6859 | |
| (=> (instance ?LD LiquidDrop) (attribute ?LD Liquid)) |
Geography.kif 6843-6845 |
| consequent |
|
|
| (=> (instance ?DRIZZLE Drizzling) (exists (?RAIN ?CLTN ?R ?SIZE) (and (instance ?RAIN Raining) (instance ?CLTN Collection) (instance ?R Water) (instance ?R LiquidDrop) (member ?R ?CLTN) (objectTransferred ?RAIN ?CLTN) (approximateDiameter ?R (MeasureFn ?SIZE Millimeter)) (modalAttribute (lessThanOrEqualTo ?SIZE 0.5) Likely)))) |
Weather.kif 1214-1227 | |
| (=> (instance ?RAIN Raining) (exists (?CLTN ?R) (and (instance ?CLTN Collection) (instance ?R Water) (instance ?R LiquidDrop) (member ?R ?CLTN) (objectTransferred ?RAIN ?CLTN) (defaultMinimumSphereRadius ?R (MeasureFn 0.1 Millimeter)) (defaultMaximumSphereRadius ?R (MeasureFn 9 Millimeter))))) |
Weather.kif 670-682 |
|
|
|