| Sinking(sinking)
| | go_down, go_under, settle, sink |
| appearance as argument number 1 |
|
|
| (documentation Sinking EnglishLanguage "The class of Falling processes that occur in a WaterArea.") | Mid-level-ontology.kif 13326-13327 | |
| (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 13325-13325 | Sinking is a subclass of falling |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Sinking "下沉") | domainEnglishFormat.kif 53244-53244 | |
| (termFormat ChineseTraditionalLanguage Sinking "下沉") | domainEnglishFormat.kif 53243-53243 | |
| (termFormat EnglishLanguage Sinking "sinking") | domainEnglishFormat.kif 53242-53242 |
| antecedent |
|
|
| (=> (instance ?S Sinking) (exists (?W) (and (instance ?W WaterArea) (eventLocated ?S ?W)))) |
Mid-level-ontology.kif 13329-13334 |
|
|
|
|