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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BodyOfWater

Sigma KEE - BodyOfWater
BodyOfWater(body of water)

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 4333-4335
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4331-4331 Body of water is a subclass of self connected object
(subclass BodyOfWater WaterArea) Geography.kif 4330-4330 Body of water is a subclass of water area

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


(instance NorthAtlanticOcean BodyOfWater) Geography.kif 4379-4379 North atlantic ocean is an instance of body of water
(instance NorthPacificOcean BodyOfWater) Geography.kif 4411-4411 North pacific ocean is an instance of body of water
(instance NortheasternPacificOcean BodyOfWater) Geography.kif 4425-4425 NortheasternPacificOcean is an instance of body of water
(instance NorthwesternPacificOcean BodyOfWater) Geography.kif 4438-4438 NorthwesternPacificOcean is an instance of body of water
(instance SouthAtlanticOcean BodyOfWater) Geography.kif 4392-4392 South atlantic ocean is an instance of body of water
(instance SouthPacificOcean BodyOfWater) Geography.kif 4451-4451 South pacific ocean is an instance of body of water
(instance WorldOcean BodyOfWater) Geography.kif 4338-4338 World ocean is an instance of body of water
(subclass Channel BodyOfWater) Geography.kif 5125-5125 Channel is a subclass of body of water
(subclass Creek BodyOfWater) Geography.kif 5479-5479 Creek is a subclass of body of water
(subclass Estuary BodyOfWater) Geography.kif 4988-4988 Estuary is a subclass of body of water
(subclass Gulf BodyOfWater) Geography.kif 4931-4931 Gulf is a subclass of body of water
(subclass Inlet BodyOfWater) Geography.kif 5027-5027 Inlet is a subclass of body of water
(subclass LandlockedWater BodyOfWater) Geography.kif 4887-4887 Landlocked water is a subclass of body of water
(subclass Ocean BodyOfWater) Geography.kif 4352-4352 Ocean is a subclass of body of water
(subclass River BodyOfWater) Geography.kif 5282-5282 River is a subclass of body of water
(subclass Sea BodyOfWater) Geography.kif 4574-4574 Sea is a subclass of body of water
(subclass Sound BodyOfWater) Geography.kif 5087-5087 Sound is a subclass of body of water
(subclass Strait BodyOfWater) Geography.kif 5101-5101 Strait is a subclass of body of water
(termFormat ChineseLanguage BodyOfWater "水体") domainEnglishFormat.kif 11486-11486
(termFormat ChineseTraditionalLanguage BodyOfWater "水體") domainEnglishFormat.kif 11485-11485
(termFormat EnglishLanguage BodyOfWater "body of water") domainEnglishFormat.kif 11484-11484

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


(=>
    (and
        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))
Geography.kif 5139-5144
(=>
    (and
        (instance ?RIVER River)
        (instance ?WATER BodyOfWater)
        (flows ?RIVER ?WATER))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (streamOutfall ?MOUTH ?RIVER)
            (connected ?MOUTH ?WATER))))
Geography.kif 5468-5477
(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))
Geography.kif 4362-4367
(=>
    (and
        (instance ?body1 BodyOfWater)
        (instance ?body2 BodyOfWater)
        (connects ?strait ?body1 ?body2))
    (larger ?body1 ?strait))
Geography.kif 5114-5119

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


(=>
    (and
        (instance ?S ?C)
        (subclass ?C Seafood))
    (exists (?X ?SEA)
        (and
            (meatOfAnimal ?C ?ANIMAL)
            (instance ?X ?ANIMAL)
            (instance ?SEA BodyOfWater)
            (inhabits ?X ?SEA))))
Food.kif 256-265
(=>
    (and
        (instance ?X Argument)
        (instance ?R Reasoning)
        (subProposition ?X Archeology)
        (realization ?R ?X))
    (exists (?D ?S ?O ?T)
        (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 20420-20449
(=>
    (instance ?BERG Iceberg)
    (exists (?PART ?WATER)
        (and
            (instance ?PART Ice)
            (most ?PART ?BERG)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 4558-4565
(=>
    (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 1353-1373
(=>
    (instance ?LAND Shoal)
    (exists (?PART ?WATER)
        (and
            (instance ?PART LandForm)
            (most ?PART ?LAND)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 5727-5734
(=>
    (instance ?STREAM StreamWaterArea)
    (exists (?WATER)
        (and
            (instance ?WATER BodyOfWater)
            (not
                (equal ?WATER ?STREAM))
            (flows ?STREAM ?WATER))))
Geography.kif 5224-5230
(=>
    (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 5157-5165
(=>
    (instance ?strait Strait)
    (exists (?body1 ?body2)
        (and
            (instance ?body1 BodyOfWater)
            (instance ?body2 BodyOfWater)
            (connects ?strait ?body1 ?body2))))
Geography.kif 5106-5112
(=>
    (waveHeight ?WW ?X)
    (exists (?WATER ?CREST ?TROUGH)
        (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))))
            (not
                (exists (?B ?BH)
                    (and
                        (part ?B ?WATER)
                        (altitude ?TROUGH ?B
                            (MeasureFn ?BH ?U))
                        (greaterThan ?BH 0)))))))
Weather.kif 1421-1441


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

Show without tree


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