| Bubble(bubble)
| | bubble, foam, froth, lather, soap_bubble, soapsuds, suds |
| appearance as argument number 1 |
|
|
| (subclass Bubble CorpuscularObject) | Mid-level-ontology.kif 5955-5955 | 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 5956-5957 | 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 5958-5963 | 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 5965-5969 | 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 5971-5980 | 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 1286-1302 | 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 1361-1366 | 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 1368-1386 | 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 1400-1416 | 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 1191-1206 | 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 |
|
|
|