| 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 5304-5305 | |
| (externalImage Bubble "http://upload.wikimedia.org/wikipedia/commons/1/16/ Bubble_brokenchopstick.jpg") | pictureList.kif 890-890 | |
| (externalImage Bubble "http://upload.wikimedia.org/wikipedia/commons/1/1f/ Soda_bubbles_macro.jpg") | pictureList.kif 851-851 | |
| (subclass Bubble CorpuscularObject) | Mid-level-ontology.kif 5303-5303 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bubble "气泡") | domainEnglishFormat.kif 12203-12203 | |
| (termFormat ChineseTraditionalLanguage Bubble "氣泡") | domainEnglishFormat.kif 12202-12202 | |
| (termFormat EnglishLanguage Bubble "bubble") | domainEnglishFormat.kif 12201-12201 |
| antecedent |
|
|
| (=> (and (instance ?B Bubble) (interiorPart ?P ?B)) (attribute ?P Gas)) |
Mid-level-ontology.kif 5313-5317 | |
| (=> (and (instance ?B Bubble) (not (exists (?X ?S) (and (attribute ?X ?S) (not (equal ?X Gas)) (meetsSpatially ?X ?B))))) (attribute ?B RoundShape)) |
Mid-level-ontology.kif 5319-5328 | |
| (=> (instance ?B Bubble) (exists (?S) (and (surface ?S ?B) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 5306-5311 |
|
|
|