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


KB Term:  Term intersection
English Word: 

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 7093-7093 River is a subclass of stream water area
(subclass River FreshWaterArea) Geography.kif 7094-7094 River is a subclass of fresh water area
(subclass River BodyOfWater) Geography.kif 7095-7095 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 7097-7098 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 7296-7296 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 7309-7309 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 7282-7291 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 7299-7303 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 6804-6809 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 7119-7126 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 7138-7143 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 7145-7152 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 7154-7163 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 7260-7265 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 7382-7387 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 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 is open source software produced by Articulate Software and its partners