BodyOfWater(body of water) |
appearance as argument number 1 |
![]() |
(documentation BodyOfWater EnglishLanguage "A BodyOfWater is a connected body of water with established boundaries marked by either geographical features or conventional borders.") | Geography.kif 4393-4395 | |
(subclass BodyOfWater SelfConnectedObject) | Geography.kif 4391-4391 | Body of water is a subclass of self connected object |
(subclass BodyOfWater WaterArea) | Geography.kif 4390-4390 | Body of water is a subclass of water area |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |