Wading |
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 |
appearance as argument number 2 |
(termFormat ChineseLanguage Wading "涉水") | domainEnglishFormat.kif 62051-62051 | |
(termFormat ChineseTraditionalLanguage Wading "涉水") | domainEnglishFormat.kif 62050-62050 | |
(termFormat EnglishLanguage Wading "wading") | domainEnglishFormat.kif 62049-62049 |
antecedent |
(=> (instance ?P Wading) (exists (?W) (and (instance ?W WaterArea) (eventLocated ?P ?W)))) |
Mid-level-ontology.kif 529-534 |