| 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 4995-4996 | |
| (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 4994-4994 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bubble "气泡") | domainEnglishFormat.kif 12202-12202 | |
| (termFormat ChineseTraditionalLanguage Bubble "氣泡") | domainEnglishFormat.kif 12201-12201 | |
| (termFormat EnglishLanguage Bubble "bubble") | domainEnglishFormat.kif 12200-12200 |
| antecedent |
|
|
| (=> (and (instance ?B Bubble) (interiorPart ?P ?B)) (attribute ?P Gas)) |
Mid-level-ontology.kif 5004-5008 | |
| (=> (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 5010-5019 | |
| (=> (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 1285-1301 | |
| (=> (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 1367-1385 | |
| (=> (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 1399-1415 | |
| (=> (and (instance ?F FlatWhite) (part ?B ?F) (instance ?B Bubble)) (attribute ?B Brown)) |
Food.kif 1360-1365 | |
| (=> (instance ?B Bubble) (exists (?S) (and (surface ?S ?B) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 4997-5002 |
| 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 1190-1205 |
|
|
|