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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 4494-4496
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4492-4492 Body of water is a subclass of self connected object
(subclass BodyOfWater WaterArea) Geography.kif 4491-4491 Body of water is a subclass of water area

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


(instance NorthAtlanticOcean BodyOfWater) Geography.kif 4540-4540 North atlantic ocean is an instance of body of water
(instance NorthPacificOcean BodyOfWater) Geography.kif 4572-4572 North pacific ocean is an instance of body of water
(instance NortheasternPacificOcean BodyOfWater) Geography.kif 4586-4586 Northeastern Pacific ocean is an instance of body of water
(instance NorthwesternPacificOcean BodyOfWater) Geography.kif 4599-4599 Northwestern Pacific Ocean is an instance of body of water
(instance SouthAtlanticOcean BodyOfWater) Geography.kif 4553-4553 South atlantic ocean is an instance of body of water
(instance SouthPacificOcean BodyOfWater) Geography.kif 4612-4612 South pacific ocean is an instance of body of water
(instance WorldOcean BodyOfWater) Geography.kif 4499-4499 World ocean is an instance of body of water
(subclass Channel BodyOfWater) Geography.kif 5316-5316 Channel is a subclass of body of water
(subclass Creek BodyOfWater) Geography.kif 5672-5672 Creek is a subclass of body of water
(subclass Estuary BodyOfWater) Geography.kif 5179-5179 Estuary is a subclass of body of water
(subclass Gulf BodyOfWater) Geography.kif 5122-5122 Gulf is a subclass of body of water
(subclass Inlet BodyOfWater) Geography.kif 5218-5218 Inlet is a subclass of body of water
(subclass LandlockedWater BodyOfWater) Geography.kif 5078-5078 Landlocked water is a subclass of body of water
(subclass Ocean BodyOfWater) Geography.kif 4513-4513 Ocean is a subclass of body of water
(subclass River BodyOfWater) Geography.kif 5474-5474 River is a subclass of body of water
(subclass Sea BodyOfWater) Geography.kif 4758-4758 Sea is a subclass of body of water
(subclass Sound BodyOfWater) Geography.kif 5278-5278 Sound is a subclass of body of water
(subclass Strait BodyOfWater) Geography.kif 5292-5292 Strait is a subclass of body of water
(termFormat ChineseLanguage BodyOfWater "水体") domainEnglishFormat.kif 11499-11499 Strait is a subclass of body of water
(termFormat ChineseTraditionalLanguage BodyOfWater "水體") domainEnglishFormat.kif 11498-11498 Strait is a subclass of body of water
(termFormat EnglishLanguage BodyOfWater "body of water") domainEnglishFormat.kif 11497-11497 Strait is a subclass of body of water

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


(=>
    (and
        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))
Geography.kif 5330-5335
(=>
    (and
        (instance ?RIVER River)
        (instance ?WATER BodyOfWater)
        (flows ?RIVER ?WATER))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (streamOutfall ?MOUTH ?RIVER)
            (connected ?MOUTH ?WATER))))
Geography.kif 5661-5670
(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))
Geography.kif 4523-4528
(=>
    (and
        (instance ?body1 BodyOfWater)
        (instance ?body2 BodyOfWater)
        (connects ?strait ?body1 ?body2))
    (larger ?body1 ?strait))
Geography.kif 5305-5310

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 1928-1937
(=>
    (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 21405-21435
(=>
    (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 4742-4749
(=>
    (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 1337-1357
(=>
    (instance ?LAND Shoal)
    (exists (?PART ?WATER)
        (and
            (instance ?PART LandForm)
            (most ?PART ?LAND)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 5920-5927
(=>
    (instance ?STREAM StreamWaterArea)
    (exists (?WATER)
        (and
            (instance ?WATER BodyOfWater)
            (not
                (equal ?WATER ?STREAM))
            (flows ?STREAM ?WATER))))
Geography.kif 5415-5421
(=>
    (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 5348-5356
(=>
    (instance ?strait Strait)
    (exists (?body1 ?body2)
        (and
            (instance ?body1 BodyOfWater)
            (instance ?body2 BodyOfWater)
            (connects ?strait ?body1 ?body2))))
Geography.kif 5297-5303
(=>
    (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 1404-1424


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