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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bubble

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 5303-5304
(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 5302-5302

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


(termFormat EnglishLanguage Bubble "bubble") domainEnglishFormat.kif 2456-2456

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


(=>
    (and
        (instance ?B Bubble)
        (interiorPart ?P ?B))
    (attribute ?P Gas))
Mid-level-ontology.kif 5312-5316
(=>
    (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 5318-5327
(=>
    (instance ?B Bubble)
    (exists (?S)
        (and
            (surface ?S ?B)
            (attribute ?S Liquid))))
Mid-level-ontology.kif 5305-5310


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners