| LiquidDrop | |
| appearance as argument number 1 |
|
|
| (documentation LiquidDrop ChineseLanguage "LiquidDrop 是一滴液体， 它几乎完全由自由表面包围。") | Geography.kif 6852-6852 | |
| (documentation LiquidDrop EnglishLanguage "A LiquidDrop is a small column of liquid, bounded almost completely by free surfaces.") | Geography.kif 6849-6850 | |
| (subclass LiquidDrop Substance) | Geography.kif 6854-6854 |
| appearance as argument number 2 |
|
|
| (subclass Droplet LiquidDrop) | Geography.kif 6885-6885 | |
| (subclass Raindrop LiquidDrop) | Weather.kif 1520-1520 | |
| (termFormat ChineseLanguage LiquidDrop "液体滴") | Geography.kif 6857-6857 | |
| (termFormat EnglishLanguage LiquidDrop "liquid drop") | Geography.kif 6856-6856 |
| antecedent |
|
|
| (<=> (and (instance ?LD LiquidDrop) (approximateDiameter ?LD (MeasureFn ?S Micrometer)) (lessThan 500 ?S)) (instance ?LD Droplet)) |
Geography.kif 6890-6896 | |
| (=> (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 6863-6875 | |
| (=> (instance ?LD LiquidDrop) (attribute ?LD Liquid)) |
Geography.kif 6859-6861 |
| 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 1311-1323 | |
| (=> (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 669-681 |
|
|
|