Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LiquidDrop(liquid drop) |
| appearance as argument number 1 |
|
| (documentation LiquidDrop EnglishLanguage "A LiquidDrop is a small column of liquid, bounded almost completely by free surfaces.") | Geography.kif 9084-9085 | |
| (documentation LiquidDrop ChineseLanguage "LiquidDrop 是一滴液体， 它几乎完全由自由表面包围。") | Geography.kif 9087-9087 | |
| (subclass LiquidDrop Substance) | Geography.kif 9089-9089 | Liquid drop is a subclass of substance |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?LD LiquidDrop) (attribute ?LD Liquid)) |
Geography.kif 9094-9096 | If X is an instance of liquid drop, then liquid is an attribute of X |
| (=> (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 9098-9110 | If X is an instance of liquid drop and Y is a surface of X, then All of the following hold: (1) the statement there exist Z (2) W such that W is an instance of substance (3) liquid is an attribute of W (4) equal X (5) W (6) Z is a surface of W (7) Y meets Z has the modal force of unlikely |
| (<=> (and (instance ?LD LiquidDrop) (approximateDiameter ?LD (MeasureFn ?S Micrometer)) (lessThan 500.0 ?S)) (instance ?LD Droplet)) |
Geography.kif 9125-9131 | 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 |
| consequent |
|
|
| (=> (instance ?RAIN Raining) (exists (?CLTN ?R ?CLASS) (and (instance ?CLTN CollectionOfObjects) (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 1734-1747 | If X is an instance of raining, then there exist Y, Z and W such that Y is an instance of collection and Z is an instance of water and Z is an instance of liquid drop and Z is an instance of W and Z is a member of Y and the object transferred in X is Y and the minimum expected radius of W is 0.1 millimeter(s) and the maximum expected radius of W is 9.0 millimeter(s) |
| (=> (instance ?DRIZZLE Drizzling) (exists (?CLTN ?R ?SIZE) (and (instance ?CLTN CollectionOfObjects) (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 4071-4083 | If X is an instance of drizzling, then there exist Y, Z and W such that Y is an instance of collection and Z is an instance of water and Z is an instance of liquid drop and Z is a member of Y and the object transferred in X is Y and the approximate diameter of Z is W millimeter(s) and the statement W is less than or equal to 0.5 has the modal force of likely |
|