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 | LiquidDrop は 物質 の subclass では %n |
appearance as argument number 2 |
(subclass Droplet LiquidDrop) | Geography.kif 7519-7519 | Droplet は LiquidDrop の subclass では %n |
(subclass Raindrop LiquidDrop) | Weather.kif 2975-2975 | Raindrop は LiquidDrop の subclass では %n |
(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 | 自己接続オブジェクト は LiquidDrop の instance では %n approximateDiameter 自己接続オブジェクト and 実数 の Micrometer(s) 500.0 は 実数 より less では %n 自己接続オブジェクト は Droplet の instance では %n |
(=> (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 |