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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NonprofitOrganization

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 下沉落下subclass

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 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 3.0 is open source software produced by Articulate Software and its partners