Sinking - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Sinking Falling)	Mid-level-ontology.kif 14663-14663	Sinking is a subclass of falling
(documentation Sinking EnglishLanguage "The class of Falling processes that occur in a WaterArea.")	Mid-level-ontology.kif 14664-14665	Sinking is a subclass of falling
(externalImage Sinking "http://upload.wikimedia.org/wikipedia/commons/0/ 04/ Andex_sinking.jpg")	pictureList.kif 6040-6040	Sinking is a subclass of falling
(externalImage Sinking "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ St%C3%B6wer_Titanic.jpg")	pictureList.kif 6586-6586	Sinking is a subclass of falling
(externalImage Sinking "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Explorer_sinking-3.jpg")	pictureList.kif 6587-6587	Sinking is a subclass of falling

appearance as argument number 2

(termFormat EnglishLanguage Sinking "sinking")	domainEnglishFormat.kif 53199-53199
(termFormat ChineseTraditionalLanguage Sinking "下沉")	domainEnglishFormat.kif 53200-53200
(termFormat ChineseLanguage Sinking "下沉")	domainEnglishFormat.kif 53201-53201

antecedent

(=>
    (instance ?S Sinking)
    (exists (?W)
        (and
            (instance ?W WaterArea)
            (eventLocated ?S ?W))))

If X is an instance of sinking, then there exists Y such that Y is an instance of water area and X is located at Y