| appearance as argument number 1 |
|
| (documentation LiquidDrop ChineseLanguage "LiquidDrop 是一滴液体， 它几乎完全由自由表面包围。") | Geography.kif 7556-7556 | |
| (documentation LiquidDrop EnglishLanguage "A LiquidDrop is a small column of liquid, bounded almost completely by free surfaces.") | Geography.kif 7553-7554 | |
| (subclass LiquidDrop Substance) | Geography.kif 7558-7558 |
| appearance as argument number 2 |
|
|
| (subclass Droplet LiquidDrop) | Geography.kif 7589-7589 | |
| (subclass Raindrop LiquidDrop) | Weather.kif 2962-2962 | |
| (termFormat ChineseLanguage LiquidDrop "液体滴") | Geography.kif 7561-7561 | |
| (termFormat EnglishLanguage LiquidDrop "liquid drop") | Geography.kif 7560-7560 |
| antecedent |
|
|
| (<=> (and (instance ?LD LiquidDrop) (approximateDiameter ?LD (MeasureFn ?S Micrometer)) (lessThan 500.0 ?S)) (instance ?LD Droplet)) |
Geography.kif 7594-7600 | |
| (=> (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 7567-7579 | |
| (=> (instance ?LD LiquidDrop) (attribute ?LD Liquid)) |
Geography.kif 7563-7565 |
| 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 2786-2798 | |
| (=> (instance ?RAIN Raining) (exists (?CLTN ?R ?CLASS) (and (instance ?CLTN Collection) (instance ?R Water) (instance ?R LiquidDrop) (instance ?R ?CLASS (member ?R ?CLTN) (objectTransferred ?RAIN ?CLTN) (defaultMinimumSphereRadius ?CLASS (MeasureFn 0.1 Millimeter)) (defaultMaximumSphereRadius ?CLASS (MeasureFn 9.0 Millimeter)))))) |
Weather.kif 1041-1054 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners