Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(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 5139-5140
(externalImage River "http://upload.wikimedia.org/wikipedia/commons/4/48/ MariaValeriaBridge.jpg") pictureList.kif 879-879 "http://upload.wikimedia.org/wikipedia/commons/4/48/ MariaValeriaBridge.jpg" is a URL depicting river
(externalImage River "http://upload.wikimedia.org/wikipedia/commons/6/67/ Mississipi_River_-_New_Orleans.JPG") pictureList.kif 913-913 "http://upload.wikimedia.org/wikipedia/commons/6/67/ Mississipi_River_-_New_Orleans.JPG" is a URL depicting river
(subclass River BodyOfWater) Geography.kif 5137-5137 River is a subclass of body of water
(subclass River FreshWaterArea) Geography.kif 5136-5136 River is a subclass of fresh water area
(subclass River StreamWaterArea) Geography.kif 5135-5135 River is a subclass of stream water area

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


(disjoint Creek River) Geography.kif 5336-5336 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 4242-4242 Red river is an instance of river
(termFormat ChineseLanguage River "河") domainEnglishFormat.kif 50035-50035 "河" is the printable form of river in ChineseLanguage
(termFormat ChineseTraditionalLanguage River "河") domainEnglishFormat.kif 50034-50034 "河" is the printable form of river in ChineseTraditionalLanguage
(termFormat EnglishLanguage River "river") domainEnglishFormat.kif 50033-50033 "river" is the printable form of river in english language

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


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

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


(=>
    (and
        (instance ?C Creek)
        (instance ?R River))
    (smaller ?C ?R))
Geography.kif 5339-5343
(=>
    (and
        (instance ?RIVER River)
        (instance ?WATER BodyOfWater)
        (flows ?RIVER ?WATER))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (streamOutfall ?MOUTH ?RIVER)
            (connected ?MOUTH ?WATER))))
Geography.kif 5322-5331
(=>
    (and
        (instance ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?RIVER Waterway))
Transportation.kif 1653-1658

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


(=>
    (and
        (instance ?SYSTEM RiverSystem)
        (instance ?STREAM StreamWaterArea)
        (part ?STREAM ?SYSTEM))
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM)
            (flows ?STREAM ?RIVER))))
Geography.kif 5195-5204
(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM ?BRANCH)
        (and
            (instance ?STREAM River)
            (instance ?BRANCH StreamWaterArea)
            (flows ?BRANCH ?STREAM)
            (connects ?FORK ?STREAM ?BRANCH))))
Geography.kif 5160-5167
(=>
    (instance ?PORT RiverPort)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (instance ?RIVER Waterway)
            (meetsSpatially ?PORT ?RIVER))))
Transportation.kif 830-836
(=>
    (instance ?RAPIDS Rapids)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RAPIDS ?RIVER))))
Geography.kif 5300-5305
(=>
    (instance ?SYSTEM RiverSystem)
    (exists (?RIVER ?STATIC)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM)
            (instance ?STATIC StaticWaterArea)
            (connected ?RIVER ?STATIC))))
Geography.kif 5186-5193
(=>
    (instance ?SYSTEM RiverSystem)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM))))
Geography.kif 5179-5184
(=>
    (instance ?WATER Estuary)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (flows ?RIVER ?ESTUARY))))
Geography.kif 4859-4864
(=>
    (instance ?bank RiverBank)
    (exists (?river)
        (and
            (instance ?river River)
            (meetsSpatially ?river ?bank))))
Geography.kif 5422-5427


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners