appearance as argument number 1 |
![]() |
(documentation River EnglishLanguage "River is the class of large streams of fresh water flowing through land into a lake, ocean, or other body of water.") | Geography.kif 5779-5780 | |
(externalImage River "http://upload.wikimedia.org/wikipedia/commons/4/48/ MariaValeriaBridge.jpg") | pictureList.kif 878-878 | |
(externalImage River "http://upload.wikimedia.org/wikipedia/commons/6/67/ Mississipi_River_-_New_Orleans.JPG") | pictureList.kif 912-912 | |
(subclass River BodyOfWater) | Geography.kif 5777-5777 | River is a subclass of body of water |
(subclass River FreshWaterArea) | Geography.kif 5776-5776 | River is a subclass of fresh water area |
(subclass River StreamWaterArea) | Geography.kif 5775-5775 | River is a subclass of stream water area |
appearance as argument number 2 |
![]() |
(disjoint Creek River) | Geography.kif 5978-5978 | Creek is disjoint from river |
(instance HudsonRiver River) | CountriesAndRegions.kif 831-831 | Hudson river is an instance of river |
(instance MississippiRiver River) | CountriesAndRegions.kif 739-739 | Mississippi river is an instance of river |
(instance RedRiver River) | CountriesAndRegions.kif 4236-4236 | Red river is an instance of river |
(termFormat ChineseLanguage River "河") | domainEnglishFormat.kif 50100-50100 | Red river is an instance of river |
(termFormat ChineseTraditionalLanguage River "河") | domainEnglishFormat.kif 50099-50099 | Red river is an instance of river |
(termFormat EnglishLanguage River "river") | domainEnglishFormat.kif 50098-50098 | Red river is an instance of river |
appearance as argument number 3 |
![]() |
(domain streamOutfall 2 River) | Geography.kif 5991-5991 | The number 2 argument of stream outfall is an instance of river |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |