BodyOfWater |
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 4734-4736 | |
(subclass BodyOfWater SelfConnectedObject) | Geography.kif 4732-4732 | BodyOfWater est une sous-classe de objet en une partie |
(subclass BodyOfWater WaterArea) | Geography.kif 4731-4731 | BodyOfWater est une sous-classe de plan d'eau |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (instance ?CHANNEL Channel) (instance ?BODY BodyOfWater) (connected ?CHANNEL ?BODY)) (larger ?BODY ?CHANNEL)) |
Geography.kif 5633-5638 | |
(=> (and (instance ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER)))) |
Geography.kif 5964-5973 |
|
(=> (and (instance ?T Tornado) (eventLocated ?T ?R) (instance ?R BodyOfWater)) (instance ?S TornadicWaterspout)) |
Weather.kif 1073-1078 |
|
(=> (and (instance ?WATER BodyOfWater) (not (instance ?WATER Ocean)) (instance ?OCEAN Ocean)) (larger ?OCEAN ?WATER)) |
Geography.kif 4763-4768 | |
(=> (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)) (larger ?body1 ?strait)) |
Geography.kif 5596-5601 |
consequent |
![]() |
![]() |
![]() |