![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation LiquidDrop ChineseLanguage "LiquidDrop 是一滴液体, 它几乎完全由自由表面包围。") | Geography.kif 7202-7202 | |
(documentation LiquidDrop EnglishLanguage "A LiquidDrop is a small column of liquid, bounded almost completely by free surfaces.") | Geography.kif 7199-7200 | |
(subclass LiquidDrop Substance) | Geography.kif 7204-7204 |
appearance as argument number 2 |
![]() |
(subclass Droplet LiquidDrop) | Geography.kif 7235-7235 | |
(subclass Raindrop LiquidDrop) | Weather.kif 2978-2978 | |
(termFormat ChineseLanguage LiquidDrop "液体滴") | Geography.kif 7207-7207 | |
(termFormat EnglishLanguage LiquidDrop "liquid drop") | Geography.kif 7206-7206 |
antecedent |
![]() |
(<=> (and (instance ?LD LiquidDrop) (approximateDiameter ?LD (MeasureFn ?S Micrometer)) (lessThan 500.0 ?S)) (instance ?LD Droplet)) |
Geography.kif 7240-7246 | |
(=> (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 7213-7225 | |
(=> (instance ?LD LiquidDrop) (attribute ?LD Liquid)) |
Geography.kif 7209-7211 |
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 2802-2814 | |
(=> (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.0 Millimeter))))) |
Weather.kif 1057-1069 |
![]() |
![]() |