TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Droplet EnglishLanguage "A Droplet is a LiquidDrop of less than 500 Micrometer (µm) in approximateDiameter.")	Geography.kif 9114-9115
(documentation Droplet ChineseLanguage "Droplet 是 approximateDiameter 小于 500 Micrometer (µm) 的 LiquidDrop。")	Geography.kif 9117-9118
(subclass Droplet LiquidDrop)	Geography.kif 9120-9120	Droplet is a subclass of liquid drop

appearance as argument number 2

(termFormat EnglishLanguage Droplet "droplet")	Geography.kif 9122-9122
(termFormat ChineseLanguage Droplet "小滴液体")	Geography.kif 9123-9123

consequent

(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500.0 ?S))
    (instance ?LD Droplet))

X is an instance of liquid drop and the approximate diameter of X is Y micrometer(s) and 500.0 is less than Y if and only if X is an instance of droplet