| 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 14004-14005 | |
| (externalImage Sinking "http://upload.wikimedia.org/wikipedia/commons/0/ 04/ Andex_sinking.jpg") | pictureList.kif 6040-6040 | |
| (externalImage Sinking "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Explorer_sinking-3.jpg") | pictureList.kif 6587-6587 | |
| (externalImage Sinking "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ St%C3%B6wer_Titanic.jpg") | pictureList.kif 6586-6586 | |
| (subclass Sinking Falling) | Mid-level-ontology.kif 14003-14003 | Sinking is a subclass of falling |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Sinking "下沉") | domainEnglishFormat.kif 53237-53237 | |
| (termFormat ChineseTraditionalLanguage Sinking "下沉") | domainEnglishFormat.kif 53236-53236 | |
| (termFormat EnglishLanguage Sinking "sinking") | domainEnglishFormat.kif 53235-53235 |
| antecedent |
|
|
| (=> (instance ?S Sinking) (exists (?W) (and (instance ?W WaterArea) (eventLocated ?S ?W)))) |
Mid-level-ontology.kif 14007-14012 |
|
|
|
|