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 5303-5304
(externalImage Bubble "http://upload.wikimedia.org/wikipedia/commons/1/16/ Bubble_brokenchopstick.jpg") pictureList.kif 890-890 externalImage Bubble and "http://upload.wikimedia.org/wikipedia/commons/1/16/ Bubble_brokenchopstick.jpg"
(externalImage Bubble "http://upload.wikimedia.org/wikipedia/commons/1/1f/ Soda_bubbles_macro.jpg") pictureList.kif 851-851 externalImage Bubble and "http://upload.wikimedia.org/wikipedia/commons/1/1f/ Soda_bubbles_macro.jpg"
(subclass Bubble CorpuscularObject) Mid-level-ontology.kif 5302-5302 subclass Bubble and 微粒子オブジェクト

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


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

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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners