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 è una sottoclasse di Sostanza |
appearance as argument number 2 |
(subclass Droplet LiquidDrop) | Geography.kif 7519-7519 | Droplet è una sottoclasse di LiquidDrop |
(subclass Raindrop LiquidDrop) | Weather.kif 2962-2962 | Raindrop è una sottoclasse di 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 | OggettoIntegro è un' istanza di LiquidDrop approximateDiameter OggettoIntegro and NumeroReale Micrometer(s 500.0 è meno di NumeroReale OggettoIntegro è un' istanza di 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 |