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 4309-4311
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4307-4307 Body of water is a subclass of self connected object
(subclass BodyOfWater WaterArea) Geography.kif 4306-4306 Body of water is a subclass of water area

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


(instance NorthAtlanticOcean BodyOfWater) Geography.kif 4355-4355 North atlantic ocean is an instance of body of water
(instance NorthPacificOcean BodyOfWater) Geography.kif 4387-4387 North pacific ocean is an instance of body of water
(instance NortheasternPacificOcean BodyOfWater) Geography.kif 4401-4401 NortheasternPacificOcean is an instance of body of water
(instance NorthwesternPacificOcean BodyOfWater) Geography.kif 4414-4414 NorthwesternPacificOcean is an instance of body of water
(instance SouthAtlanticOcean BodyOfWater) Geography.kif 4368-4368 South atlantic ocean is an instance of body of water
(instance SouthPacificOcean BodyOfWater) Geography.kif 4427-4427 South pacific ocean is an instance of body of water
(instance WorldOcean BodyOfWater) Geography.kif 4314-4314 World ocean is an instance of body of water
(subclass Channel BodyOfWater) Geography.kif 5100-5100 Channel is a subclass of body of water
(subclass Creek BodyOfWater) Geography.kif 5454-5454 Creek is a subclass of body of water
(subclass Estuary BodyOfWater) Geography.kif 4963-4963 Estuary is a subclass of body of water
(subclass Gulf BodyOfWater) Geography.kif 4906-4906 Gulf is a subclass of body of water
(subclass Inlet BodyOfWater) Geography.kif 5002-5002 Inlet is a subclass of body of water
(subclass LandlockedWater BodyOfWater) Geography.kif 4862-4862 Landlocked water is a subclass of body of water
(subclass Ocean BodyOfWater) Geography.kif 4328-4328 Ocean is a subclass of body of water
(subclass River BodyOfWater) Geography.kif 5257-5257 River is a subclass of body of water
(subclass Sea BodyOfWater) Geography.kif 4549-4549 Sea is a subclass of body of water
(subclass Sound BodyOfWater) Geography.kif 5062-5062 Sound is a subclass of body of water
(subclass Strait BodyOfWater) Geography.kif 5076-5076 Strait is a subclass of body of water
(termFormat ChineseLanguage BodyOfWater "水体") domainEnglishFormat.kif 11495-11495
(termFormat ChineseTraditionalLanguage BodyOfWater "水體") domainEnglishFormat.kif 11494-11494
(termFormat EnglishLanguage BodyOfWater "body of water") domainEnglishFormat.kif 11493-11493

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


(=>
    (and
        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))
Geography.kif 5114-5119
(=>
    (and
        (instance ?RIVER River)
        (instance ?WATER BodyOfWater)
        (flows ?RIVER ?WATER))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (streamOutfall ?MOUTH ?RIVER)
            (connected ?MOUTH ?WATER))))
Geography.kif 5443-5452
(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))
Geography.kif 4338-4343
(=>
    (and
        (instance ?body1 BodyOfWater)
        (instance ?body2 BodyOfWater)
        (connects ?strait ?body1 ?body2))
    (larger ?body1 ?strait))
Geography.kif 5089-5094

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 274-283
(=>
    (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 ?T)
            (greaterThan ?T
                (MeasureFn 50 YearDuration))
            (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 18870-18899
(=>
    (instance ?BERG Iceberg)
    (exists (?PART ?WATER)
        (and
            (instance ?PART Ice)
            (most ?PART ?BERG)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 4533-4540
(=>
    (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 1351-1371
(=>
    (instance ?LAND Shoal)
    (exists (?PART ?WATER)
        (and
            (instance ?PART LandForm)
            (most ?PART ?LAND)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 5701-5708
(=>
    (instance ?STREAM StreamWaterArea)
    (exists (?WATER)
        (and
            (instance ?WATER BodyOfWater)
            (not
                (equal ?WATER ?STREAM))
            (flows ?STREAM ?WATER))))
Geography.kif 5199-5205
(=>
    (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 5132-5140
(=>
    (instance ?strait Strait)
    (exists (?body1 ?body2)
        (and
            (instance ?body1 BodyOfWater)
            (instance ?body2 BodyOfWater)
            (connects ?strait ?body1 ?body2))))
Geography.kif 5081-5087
(=>
    (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 1419-1439


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