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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - River
River

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 5609-5610
(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 5607-5607
(subclass River FreshWaterArea) Geography.kif 5606-5606
(subclass River StreamWaterArea) Geography.kif 5605-5605

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


(disjoint Creek River) Geography.kif 5808-5808
(instance HudsonRiver River) CountriesAndRegions.kif 831-831
(instance MississippiRiver River) CountriesAndRegions.kif 739-739
(instance RedRiver River) CountriesAndRegions.kif 4241-4241
(termFormat ChineseLanguage River "河") domainEnglishFormat.kif 50100-50100
(termFormat ChineseTraditionalLanguage River "河") domainEnglishFormat.kif 50099-50099
(termFormat EnglishLanguage River "river") domainEnglishFormat.kif 50098-50098

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


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

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


(=>
    (and
        (instance ?C Creek)
        (instance ?R River))
    (smaller ?C ?R))
Geography.kif 5811-5815
(=>
    (and
        (instance ?RIVER River)
        (instance ?WATER BodyOfWater)
        (flows ?RIVER ?WATER))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (streamOutfall ?MOUTH ?RIVER)
            (connected ?MOUTH ?WATER))))
Geography.kif 5794-5803
(=>
    (and
        (instance ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?WATER Waterway))
Transportation.kif 1823-1828

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 5666-5675
(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM ?BRANCH)
        (and
            (instance ?STREAM River)
            (instance ?BRANCH StreamWaterArea)
            (flows ?BRANCH ?STREAM)
            (connects ?FORK ?STREAM ?BRANCH))))
Geography.kif 5631-5638
(=>
    (instance ?PORT RiverPort)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (instance ?RIVER Waterway)
            (meetsSpatially ?PORT ?RIVER))))
Transportation.kif 856-862
(=>
    (instance ?RAPIDS Rapids)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RAPIDS ?RIVER))))
Geography.kif 5772-5777
(=>
    (instance ?SYSTEM RiverSystem)
    (exists (?RIVER ?STATIC)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM)
            (instance ?STATIC StaticWaterArea)
            (connected ?RIVER ?STATIC))))
Geography.kif 5657-5664
(=>
    (instance ?SYSTEM RiverSystem)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM))))
Geography.kif 5650-5655
(=>
    (instance ?WATER Estuary)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (flows ?RIVER ?WATER))))
Geography.kif 5316-5321
(=>
    (instance ?bank RiverBank)
    (exists (?river)
        (and
            (instance ?river River)
            (meetsSpatially ?river ?bank))))
Geography.kif 5894-5899


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