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

KB Term:  Term intersection
English Word: 

Sigma KEE - River
River

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


(subclass River StreamWaterArea) Geography.kif 7072-7072
(subclass River FreshWaterArea) Geography.kif 7073-7073
(subclass River BodyOfWater) Geography.kif 7074-7074
(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
(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

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


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

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


(domain streamOutfall 2 River) Geography.kif 7288-7288

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
(=>
    (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
(=>
    (and
        (instance ?C Creek)
        (instance ?R River))
    (smaller ?C ?R))		 Geography.kif 7278-7282
(=>
    (and
        (instance ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?WATER Waterway))		 Transportation.kif 1838-1843

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


(=>
    (instance ?WATER Estuary)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (flows ?RIVER ?WATER))))		 Geography.kif 6788-6793
(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM ?BRANCH)
        (and
            (instance ?STREAM River)
            (instance ?BRANCH StreamWaterArea)
            (flows ?BRANCH ?STREAM)
            (connects ?FORK ?STREAM ?BRANCH))))		 Geography.kif 7098-7105
(=>
    (instance ?SYSTEM RiverSystem)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM))))		 Geography.kif 7117-7122
(=>
    (instance ?SYSTEM RiverSystem)
    (exists (?RIVER ?STATIC)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM)
            (instance ?STATIC StaticWaterArea)
            (connected ?RIVER ?STATIC))))		 Geography.kif 7124-7131
(=>
    (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
(=>
    (instance ?RAPIDS Rapids)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RAPIDS ?RIVER))))		 Geography.kif 7239-7244
(=>
    (instance ?bank RiverBank)
    (exists (?river)
        (and
            (instance ?river River)
            (meetsSpatially ?river ?bank))))		 Geography.kif 7361-7366
(=>
    (instance ?PORT RiverPort)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (instance ?RIVER Waterway)
            (meetsSpatially ?PORT ?RIVER))))		 Transportation.kif 856-862


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


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