Wading - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Wading EnglishLanguage "Any instance of Walking which occurs through a BodyOfWater.")	Mid-level-ontology.kif 526-527
(externalImage Wading "http://articulatesoftware.com/SUMOpictures/travel/ US_Road_Signs/ recreation/ rec_4/ wading.png")	pictureList.kif 829-829
(subclass Wading Walking)	Mid-level-ontology.kif 525-525	Wading is a subclass of walking

appearance as argument number 2

(termFormat ChineseLanguage Wading "涉水")	domainEnglishFormat.kif 62072-62072
(termFormat ChineseTraditionalLanguage Wading "涉水")	domainEnglishFormat.kif 62071-62071
(termFormat EnglishLanguage Wading "wading")	domainEnglishFormat.kif 62070-62070

antecedent

(=>
    (instance ?P Wading)
    (exists (?W)
        (and
            (instance ?W WaterArea)
            (eventLocated ?P ?W))))

Mid-level-ontology.kif 529-534