TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage Wading "wading")	domainEnglishFormat.kif 62050-62050
(termFormat ChineseTraditionalLanguage Wading "涉水")	domainEnglishFormat.kif 62051-62051
(termFormat ChineseLanguage Wading "涉水")	domainEnglishFormat.kif 62052-62052

antecedent

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

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