![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Waterway EnglishLanguage "Waterway is the class of navigable waters, including Oceans, SeaLanes, Rivers, Canals, Lakes, and inland bodies of water.") | Geography.kif 5711-5713 | |
(subclass Waterway Transitway) | Geography.kif 5709-5709 | Waterway is a subclass of transitway |
(subclass Waterway WaterArea) | Geography.kif 5710-5710 | Waterway is a subclass of water area |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |