| Bubble
| |
| appearance as argument number 1 |
|
|
| (documentation Bubble EnglishLanguage "A globe which has a Liquid surface and which contains a Gas.") | Mid-level-ontology.kif 5957-5958 | |
| (externalImage Bubble "http://upload.wikimedia.org/wikipedia/commons/1/16/ Bubble_brokenchopstick.jpg") | pictureList.kif 889-889 | |
| (externalImage Bubble "http://upload.wikimedia.org/wikipedia/commons/1/1f/ Soda_bubbles_macro.jpg") | pictureList.kif 850-850 | |
| (subclass Bubble CorpuscularObject) | Mid-level-ontology.kif 5956-5956 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bubble "气泡") | domainEnglishFormat.kif 12206-12206 | |
| (termFormat ChineseTraditionalLanguage Bubble "氣泡") | domainEnglishFormat.kif 12205-12205 | |
| (termFormat EnglishLanguage Bubble "bubble") | domainEnglishFormat.kif 12204-12204 |
| antecedent |
|
|
| (=> (and (instance ?B Bubble) (interiorPart ?P ?B)) (attribute ?P Gas)) |
Mid-level-ontology.kif 5966-5970 | |
| (=> (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 5972-5981 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (and (instance ?F FlatWhite) (part ?B ?F) (instance ?B Bubble)) (attribute ?B Brown)) |
Food.kif 1361-1366 | |
| (=> (instance ?B Bubble) (exists (?S) (and (surface ?S ?B) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 5959-5964 |
| 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 |
|
|
|