Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  River

 Sigma KEE - River
River(river)
Aar, Aare, Aare_River, Acheron, Adige, Aire, Aire_River, Alabama, Alabama_River, Allegheny, Allegheny_River, Amazon, Amazon_River, Amur, Amur_River, Angara, Angara_River, Apalachicola, Apalachicola_River, Araguaia, Araguaia_River, Araguaya, Araguaya_River, Aras, Arauca, Araxes, Argun, Argun_River, Arkansas, Arkansas_River, Arno, Arno_River, Avon, Big_Sioux_River, Bighorn, Bighorn_River, Blue_Nile, Brahmaputra, Brahmaputra_River, Brazos, Brazos_River, Caloosahatchee, Caloosahatchee_River, Cam, Cam_River, Canadian, Canadian_River, Canton_River, Cape_Fear_River, Chang...

appearance as argument number 1
-------------------------


(subclass River StreamWaterArea) Geography.kif 7072-7072 River is a subclass of stream water area
(subclass River FreshWaterArea) Geography.kif 7073-7073 River is a subclass of fresh water area
(subclass River BodyOfWater) Geography.kif 7074-7074 River is a subclass of body of water
(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 7076-7077 River is a subclass of body of water
(externalImage River "http://upload.wikimedia.org/wikipedia/commons/4/48/ MariaValeriaBridge.jpg") pictureList.kif 878-878 River is a subclass of body of water
(externalImage River "http://upload.wikimedia.org/wikipedia/commons/6/67/ Mississipi_River_-_New_Orleans.JPG") pictureList.kif 912-912 River is a subclass of body of water

appearance as argument number 2
-------------------------


(instance MississippiRiver River) CountriesAndRegions.kif 739-739 Mississippi river is an instance of river
(instance HudsonRiver River) CountriesAndRegions.kif 831-831 Hudson river is an instance of river
(instance RedRiver River) CountriesAndRegions.kif 4241-4241 Red river is an instance of river
(disjoint Creek River) Geography.kif 7275-7275 Creek is disjoint from river
(termFormat EnglishLanguage River "river") domainEnglishFormat.kif 50091-50091 Creek is disjoint from river
(termFormat ChineseTraditionalLanguage River "河") domainEnglishFormat.kif 50092-50092 Creek is disjoint from river
(termFormat ChineseLanguage River "河") domainEnglishFormat.kif 50093-50093 Creek is disjoint from river

appearance as argument number 3
-------------------------


(domain streamOutfall 2 River) Geography.kif 7288-7288 The number 2 argument of stream outfall is an instance of river

antecedent
-------------------------


(=>
    (and
        (instance ?B EndorheicBasin)
        (instance ?R River)
        (located ?R ?B))
    (not
        (exists (?OUT)
            (and
                (instance ?OUT BodyOfWater)
                (flows ?R ?OUT)))))		 Geography.kif 470-479 If X is an instance of endorheic basin, Y is an instance of river, and Y is located at X, then there doesn't exist Z such that Z is an instance of body of water and Z is a flows of Y
(=>
    (and
        (instance ?RIVER River)
        (instance ?WATER BodyOfWater)
        (flows ?RIVER ?WATER))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (streamOutfall ?MOUTH ?RIVER)
            (connected ?MOUTH ?WATER))))		 Geography.kif 7261-7270 If X is an instance of river, Y is an instance of body of water, and Y is a flows of X, then there exists Z such that Z is an instance of river mouth, Z is the outfall of X, and Z is connected to Y
(=>
    (and
        (instance ?C Creek)
        (instance ?R River))
    (smaller ?C ?R))		 Geography.kif 7278-7282 If X is an instance of creek and Y is an instance of river, then X is smaller than Y
(=>
    (and
        (instance ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?WATER Waterway))		 Transportation.kif 1838-1843 If X is an instance of river, Y is a trafficable for traffic type of X, and Y is a subclass of water vehicle, then X is an instance of waterway

consequent
-------------------------


(=>
    (instance ?WATER Estuary)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (flows ?RIVER ?WATER))))		 Geography.kif 6788-6793 If X is an instance of estuary, then there exists Y such that Y is an instance of river and X is a flows of Y
(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM ?BRANCH)
        (and
            (instance ?STREAM River)
            (instance ?BRANCH StreamWaterArea)
            (flows ?BRANCH ?STREAM)
            (connects ?FORK ?STREAM ?BRANCH))))		 Geography.kif 7098-7105 If X is an instance of stream water confluence, then there exist Y, Z such that Y is an instance of river, Z is an instance of stream water area, Y is a flows of Z, X connects Y, and Z
(=>
    (instance ?SYSTEM RiverSystem)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM))))		 Geography.kif 7117-7122 If X is an instance of river system, then there exists Y such that Y is an instance of river and Y is a part of X
(=>
    (instance ?SYSTEM RiverSystem)
    (exists (?RIVER ?STATIC)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM)
            (instance ?STATIC StaticWaterArea)
            (connected ?RIVER ?STATIC))))		 Geography.kif 7124-7131 If X is an instance of river system, then there exist Y, Z such that Y is an instance of river, Y is a part of X, Z is an instance of static water area, and Y is connected to Z
(=>
    (and
        (instance ?SYSTEM RiverSystem)
        (instance ?STREAM StreamWaterArea)
        (part ?STREAM ?SYSTEM))
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM)
            (flows ?STREAM ?RIVER))))		 Geography.kif 7133-7142 If X is an instance of river system, Y is an instance of stream water area, and Y is a part of X, then there exists Z such that Z is an instance of river, Z is a part of X, and Z is a flows of Y
(=>
    (instance ?RAPIDS Rapids)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RAPIDS ?RIVER))))		 Geography.kif 7239-7244 If X is an instance of rapids, then there exists Y such that Y is an instance of river and X is a part of Y
(=>
    (instance ?bank RiverBank)
    (exists (?river)
        (and
            (instance ?river River)
            (meetsSpatially ?river ?bank))))		 Geography.kif 7361-7366 If X is an instance of river bank, then there exists Y such that Y is an instance of river and Y meets X
(=>
    (instance ?PORT RiverPort)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (instance ?RIVER Waterway)
            (meetsSpatially ?PORT ?RIVER))))		 Transportation.kif 856-862 If X is an instance of river port, then there exists Y such that Y is an instance of river, Y is an instance of waterway, and X meets Y


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners