Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bubble
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 5938-5939
(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 5937-5937 Bubble は 微粒子オブジェクト の subclass では %n

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Bubble "气泡") domainEnglishFormat.kif 12200-12200
(termFormat ChineseTraditionalLanguage Bubble "氣泡") domainEnglishFormat.kif 12199-12199
(termFormat EnglishLanguage Bubble "bubble") domainEnglishFormat.kif 12198-12198

antecedent
-------------------------


(=>
    (and
        (instance ?B Bubble)
        (interiorPart ?P ?B))
    (attribute ?P Gas))		 Mid-level-ontology.kif 5947-5951
(=>
    (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 5953-5962
(=>
    (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 5940-5945

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners