Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Bubble
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Bubble CorpuscularObject) | Mid-level-ontology.kif 6095-6095 | Bubble is a subclass of corpuscular object |
| (documentation Bubble EnglishLanguage "A globe which has a Liquid surface and which contains a Gas.") | Mid-level-ontology.kif 6096-6097 | Bubble is a subclass of corpuscular object |
| (externalImage Bubble "http://upload.wikimedia.org/wikipedia/commons/1/1f/ Soda_bubbles_macro.jpg") | pictureList.kif 850-850 | Bubble is a subclass of corpuscular object |
| (externalImage Bubble "http://upload.wikimedia.org/wikipedia/commons/1/16/ Bubble_brokenchopstick.jpg") | pictureList.kif 889-889 | Bubble is a subclass of corpuscular object |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?B Bubble) (exists (?S) (and (surface ?S ?B) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 6098-6103 | If X is an instance of bubble, then there exists Y such that Y is a surface of X and liquid is an attribute of Y |
| (=> (and (instance ?B Bubble) (interiorPart ?P ?B)) (attribute ?P Gas)) |
Mid-level-ontology.kif 6105-6109 | If X is an instance of bubble and Y is a interior part of X, then gas is an attribute of Y |
| (=> (and (instance ?B Bubble) (not (exists (?X ?S) (and (attribute ?X ?S) (not (equal ?X Gas)) (meetsSpatially ?X ?B))))) (attribute ?B ConvexRoundShape)) |
Mid-level-ontology.kif 6111-6120 | If X is an instance of bubble and there don't exist Y, Z such that Z is an attribute of Y, equal Y, gas, and Y meets X, then convex round shape is an attribute of X |
| (=> (and (instance ?C Cappuccino) (part ?E ?C) (part ?M ?C) (instance ?E Espresso) (instance ?M MilkFoam) (mixtureRatio ?E ?M ?V1 ?V2 Liter) (part ?B ?M) (instance ?B Bubble) (top ?B ?M) (measure ?B (MeasureFn ?L Millimeter))) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.15) (approximateValue ?L 20.0))) |
Food.kif 1264-1280 | If All of the following hold: (1) X is an instance of cappuccino (2) Y is a part of X (3) Z is a part of X (4) Y is an instance of espresso (5) Z is an instance of milk foam (6) A Mixture containing W unit liter of Y and V unit liter of Z (7) U is a part of Z (8) U is an instance of bubble (9) the top of Z is U (10) the measure of U is T millimeter(s), then the approximate value of W is 0.03, the approximate value of V is 0.15, and the approximate value of T is 20.0 |
| (=> (and (instance ?F FlatWhite) (part ?B ?F) (instance ?B Bubble)) (attribute ?B Brown)) |
Food.kif 1339-1344 | If X is an instance of flat white, Y is a part of X, and Y is an instance of bubble, then brown is an attribute of Y |
| (=> (and (instance ?C FlatWhite) (part ?E ?C) (part ?M ?C) (instance ?E Espresso) (instance ?M MilkFoam) (mixtureRatio ?E ?M ?V1 ?V2 Liter) (part ?B ?M) (part ?B ?E) (top ?B ?M) (instance ?B Bubble) (measure ?B (MeasureFn ?L Millimeter))) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.15) (greaterThanOrEqualTo ?L 1.0) (lessThanOrEqualTo ?L 20.0))) |
Food.kif 1346-1364 | If All of the following hold: (1) X is an instance of flat white (2) Y is a part of X (3) Z is a part of X (4) Y is an instance of espresso (5) Z is an instance of milk foam (6) A Mixture containing W unit liter of Y and V unit liter of Z (7) U is a part of Z (8) U is a part of Y (9) the top of Z is U (10) U is an instance of bubble (11) the measure of U is T millimeter(s), then the approximate value of W is 0.03, the approximate value of V is 0.15, T is greater than or equal to 1.0, and T is less than or equal to 20.0 |
| (=> (and (instance ?C Latte) (part ?E ?C) (part ?M ?C) (instance ?E Espresso) (instance ?M MilkFoam) (mixtureRatio ?E ?M ?V1 ?V2 Liter) (part ?B ?M) (instance ?B Bubble) (top ?B ?M) (measure ?B (MeasureFn ?L Millimeter))) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.21) (approximateValue ?L 12.0))) |
Food.kif 1378-1394 | If All of the following hold: (1) X is an instance of latte (2) Y is a part of X (3) Z is a part of X (4) Y is an instance of espresso (5) Z is an instance of milk foam (6) A Mixture containing W unit liter of Y and V unit liter of Z (7) U is a part of Z (8) U is an instance of bubble (9) the top of Z is U (10) the measure of U is T millimeter(s), then the approximate value of W is 0.03, the approximate value of V is 0.21, and the approximate value of T is 12.0 |
| consequent |
|
|
| (=> (and (instance ?FM FoamingMilk) (instance ?M ProcessedMilk) (patient ?FM ?M)) (exists (?H ?A ?B) (and (instance ?H Heating) (patient ?H ?M) (instance ?A Aerating) (patient ?A ?M) (result ?A ?B) (instance ?B Bubble) (during (WhenFn ?A) (WhenFn ?H))))) |
Food.kif 1168-1183 | If X is an instance of foaming milk, Y is an instance of processed milk, and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of heating (3) Y is a patient of Z (4) W is an instance of aerating (5) Y is a patient of W (6) V is a result of W (7) V is an instance of bubble (8) the time of existence of W takes place during the time of existence of Z |
|
