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 13108-13109
(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 13107-13107 Sinking est une sous-classe de Falling

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


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

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


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


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