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 and Substance |
appearance as argument number 2 |
(subclass Droplet LiquidDrop) | Geography.kif 7519-7519 | 子類 Droplet and LiquidDrop |
(subclass Raindrop LiquidDrop) | Weather.kif 2962-2962 | 子類 Raindrop and LiquidDrop |
(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 | 例 SelfConnectedObject and LiquidDrop SelfConnectedObject 的 approximate diameter 是 測量 RealNumber and Micrometer 少於 500.0 and RealNumber 例 SelfConnectedObject and Droplet |
(=> (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 |