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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sinking
Sinking

appearance as argument number 1
-------------------------


(documentation Sinking EnglishLanguage "The class of Falling processes that occur in a WaterArea.") Mid-level-ontology.kif 13135-13136
(externalImage Sinking "http://upload.wikimedia.org/wikipedia/commons/0/ 04/ Andex_sinking.jpg") pictureList.kif 6041-6041
(externalImage Sinking "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Explorer-sinking-3.jpg") pictureList.kif 6588-6588
(externalImage Sinking "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ St%C3%B6wer_Titanic.jpg") pictureList.kif 6587-6587
(subclass Sinking Falling) Mid-level-ontology.kif 13134-13134

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


(termFormat ChineseLanguage Sinking "下沉") domainEnglishFormat.kif 53206-53206
(termFormat ChineseTraditionalLanguage Sinking "下沉") domainEnglishFormat.kif 53205-53205
(termFormat EnglishLanguage Sinking "sinking") domainEnglishFormat.kif 53204-53204

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


(=>
    (instance ?S Sinking)
    (exists (?W)
        (and
            (instance ?W WaterArea)
            (eventLocated ?S ?W))))
Mid-level-ontology.kif 13138-13143


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