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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - BodyOfWater
BodyOfWater

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


(documentation BodyOfWater EnglishLanguage "A BodyOfWater is a connected body of water with established boundaries marked by either geographical features or conventional borders.") Geography.kif 4734-4736
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4732-4732 BodyOfWater は 自己接続オブジェクト の subclass では
(subclass BodyOfWater WaterArea) Geography.kif 4731-4731 BodyOfWater は 水域 の subclass では

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


(instance NorthAtlanticOcean BodyOfWater) Geography.kif 4780-4780 NorthAtlanticOcean は BodyOfWater の instance では
(instance NorthPacificOcean BodyOfWater) Geography.kif 4812-4812 NorthPacificOcean は BodyOfWater の instance では
(instance NortheasternPacificOcean BodyOfWater) Geography.kif 4826-4826 NortheasternPacificOcean は BodyOfWater の instance では
(instance NorthwesternPacificOcean BodyOfWater) Geography.kif 4839-4839 NorthwesternPacificOcean は BodyOfWater の instance では
(instance SouthAtlanticOcean BodyOfWater) Geography.kif 4793-4793 SouthAtlanticOcean は BodyOfWater の instance では
(instance SouthPacificOcean BodyOfWater) Geography.kif 4852-4852 SouthPacificOcean は BodyOfWater の instance では
(instance WorldOcean BodyOfWater) Geography.kif 4739-4739 WorldOcean は BodyOfWater の instance では
(subclass Channel BodyOfWater) Geography.kif 5620-5620 Channel は BodyOfWater の subclass では
(subclass Creek BodyOfWater) Geography.kif 5975-5975 Creek は BodyOfWater の subclass では
(subclass Estuary BodyOfWater) Geography.kif 5470-5470 Estuary は BodyOfWater の subclass では
(subclass Gulf BodyOfWater) Geography.kif 5376-5376 Gulf は BodyOfWater の subclass では
(subclass Inlet BodyOfWater) Geography.kif 5509-5509 Inlet は BodyOfWater の subclass では
(subclass LandlockedWater BodyOfWater) Geography.kif 5332-5332 LandlockedWater は BodyOfWater の subclass では
(subclass Ocean BodyOfWater) Geography.kif 4753-4753 Ocean は BodyOfWater の subclass では
(subclass River BodyOfWater) Geography.kif 5777-5777 River は BodyOfWater の subclass では
(subclass Sea BodyOfWater) Geography.kif 4998-4998 Sea は BodyOfWater の subclass では
(subclass Sound BodyOfWater) Geography.kif 5569-5569 Sound は BodyOfWater の subclass では
(subclass Strait BodyOfWater) Geography.kif 5583-5583 Strait は BodyOfWater の subclass では
(termFormat ChineseLanguage BodyOfWater "水体") domainEnglishFormat.kif 11492-11492 Strait は BodyOfWater の subclass では
(termFormat ChineseTraditionalLanguage BodyOfWater "水體") domainEnglishFormat.kif 11491-11491 Strait は BodyOfWater の subclass では
(termFormat EnglishLanguage BodyOfWater "body of water") domainEnglishFormat.kif 11490-11490 Strait は BodyOfWater の subclass では

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


(=>
    (and
        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))		 Geography.kif 5633-5638
(=>
    (and
        (instance ?RIVER River)
        (instance ?WATER BodyOfWater)
        (flows ?RIVER ?WATER))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (streamOutfall ?MOUTH ?RIVER)
            (connected ?MOUTH ?WATER))))		 Geography.kif 5964-5973
(=>
    (and
        (instance ?T Tornado)
        (eventLocated ?T ?R)
        (instance ?R BodyOfWater))
    (instance ?S TornadicWaterspout))		 Weather.kif 1073-1078
(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))		 Geography.kif 4763-4768
(=>
    (and
        (instance ?body1 BodyOfWater)
        (instance ?body2 BodyOfWater)
        (connects ?strait ?body1 ?body2))
    (larger ?body1 ?strait))		 Geography.kif 5596-5601

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


(=>
    (and
        (instance ?S ?C)
        (subclass ?C Seafood))
    (exists (?X ?SEA ?ANIMAL)
        (and
            (meatOfAnimal ?C ?ANIMAL)
            (instance ?X ?ANIMAL)
            (instance ?SEA BodyOfWater)
            (inhabits ?X ?SEA))))		 Food.kif 1934-1943
(=>
    (and
        (instance ?X Argument)
        (instance ?R Reasoning)
        (instance ?A Archeology)
        (subProposition ?X ?A)
        (realization ?R ?X))
    (exists (?D ?S ?O ?T ?W ?L)
        (and
            (instance ?D Discovering)
            (instance ?O Object)
            (patient ?D ?O)
            (refers ?R ?D)
            (earlier
                (WhenFn ?D)
                (WhenFn ?R))
            (age ?O
                (MeasureFn ?T YearDuration))
            (greaterThan ?T 50)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?D))
                (or
                    (and
                        (surface ?S ?W)
                        (instance ?W BodyOfWater)
                        (orientation ?O ?S Below))
                    (and
                        (surface ?S ?L)
                        (instance ?L LandArea)
                        (orientation ?O ?S Below)))))))		 Mid-level-ontology.kif 22764-22794
(=>
    (instance ?B Bridge)
    (hasPurpose ?B
        (exists (?T ?X)
            (and
                (instance ?T Translocation)
                (path ?T ?B)
                (orientation ?B ?X Above)
                (or
                    (instance ?X LandArea)
                    (instance ?X BodyOfWater))))))		 Transportation.kif 1752-1762
(=>
    (instance ?BERG Iceberg)
    (exists (?PART ?WATER)
        (and
            (instance ?PART Ice)
            (most ?PART ?BERG)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))		 Geography.kif 4982-4989
(=>
    (instance ?BREAK BreakingWave)
    (exists (?WAVE ?WATER1 ?WATER2 ?FALL)
        (and
            (instance ?WAVE WaterWave)
            (subProcess ?BREAK ?WAVE)
            (instance ?WATER1 BodyOfWater)
            (instance ?WATER2 BodyOfWater)
            (patient ?WAVE ?WATER2)
            (patient ?BREAK ?WATER1)
            (instance ?FALL Falling)
            (objectTransferred ?FALL ?WATER1)
            (holdsDuring
                (BeginFn
                    (WhenFn ?FALL))
                (part ?WATER1 ?WATER2))
            (holdsDuring
                (EndFn
                    (WhenFn ?FALL))
                (not
                    (part ?WATER1 ?WATER2))))))		 Weather.kif 2079-2099
(=>
    (instance ?LAND Shoal)
    (exists (?PART ?WATER)
        (and
            (instance ?PART LandForm)
            (most ?PART ?LAND)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))		 Geography.kif 6223-6230
(=>
    (instance ?S Waterspout)
    (exists (?A ?R ?C ?F ?W)
        (and
            (instance ?A AirStream)
            (instance ?R Rotating)
            (patient ?R ?A)
            (origin ?R ?C)
            (instance ?C WaterCloud)
            (part ?F ?C)
            (shape ?F Cone)
            (eventLocated ?R ?W)
            (instance ?W BodyOfWater)
            (connects ?F ?W ?C))))		 Weather.kif 1034-1047
(=>
    (instance ?STREAM StreamWaterArea)
    (exists (?WATER)
        (and
            (instance ?WATER BodyOfWater)
            (not
                (equal ?WATER ?STREAM))
            (flows ?STREAM ?WATER))))		 Geography.kif 5718-5724
(=>
    (instance ?SYSTEM InlandWaterSystem)
    (exists (?BODY1 ?BODY2)
        (and
            (instance ?BODY1 BodyOfWater)
            (instance ?BODY2 BodyOfWater)
            (not
                (equal ?BODY1 ?BODY2))
            (geographicSubregion ?BODY1 ?SYSTEM)
            (geographicSubregion ?BODY2 ?SYSTEM))))		 Geography.kif 5651-5659
(=>
    (instance ?strait Strait)
    (exists (?body1 ?body2)
        (and
            (instance ?body1 BodyOfWater)
            (instance ?body2 BodyOfWater)
            (connects ?strait ?body1 ?body2))))		 Geography.kif 5588-5594
(=>
    (waveHeight ?WW ?X)
    (exists (?WATER ?CREST ?TROUGH ?U)
        (and
            (instance ?WATER BodyOfWater)
            (eventLocated ?WW ?WATER)
            (part ?CREST ?WATER)
            (part ?TROUGH ?WATER)
            (distance ?CREST ?TROUGH ?X)
            (not
                (exists (?A ?AH)
                    (and
                        (part ?A ?WATER)
                        (altitude ?A ?CREST
                            (MeasureFn ?AH ?U))
                        (greaterThan ?AH 0.0))))
            (not
                (exists (?B ?BH)
                    (and
                        (part ?B ?WATER)
                        (altitude ?TROUGH ?B
                            (MeasureFn ?BH ?U))
                        (greaterThan ?BH 0.0)))))))		 Weather.kif 2145-2165


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