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)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 4237-4239
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4235-4235 Body of water is a subclass of self connected object
(subclass BodyOfWater WaterArea) Geography.kif 4234-4234 Body of water is a subclass of water area

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


(instance NorthAtlanticOcean BodyOfWater) Geography.kif 4283-4283 North atlantic ocean is an instance of body of water
(instance NorthPacificOcean BodyOfWater) Geography.kif 4315-4315 North pacific ocean is an instance of body of water
(instance SouthAtlanticOcean BodyOfWater) Geography.kif 4296-4296 South atlantic ocean is an instance of body of water
(instance SouthPacificOcean BodyOfWater) Geography.kif 4329-4329 South pacific ocean is an instance of body of water
(instance WorldOcean BodyOfWater) Geography.kif 4242-4242 World ocean is an instance of body of water
(subclass Channel BodyOfWater) Geography.kif 4980-4980 Channel is a subclass of body of water
(subclass Creek BodyOfWater) Geography.kif 5333-5333 Creek is a subclass of body of water
(subclass Estuary BodyOfWater) Geography.kif 4843-4843 Estuary is a subclass of body of water
(subclass Gulf BodyOfWater) Geography.kif 4786-4786 Gulf is a subclass of body of water
(subclass Inlet BodyOfWater) Geography.kif 4882-4882 Inlet is a subclass of body of water
(subclass LandlockedWater BodyOfWater) Geography.kif 4742-4742 Landlocked water is a subclass of body of water
(subclass Ocean BodyOfWater) Geography.kif 4256-4256 Ocean is a subclass of body of water
(subclass River BodyOfWater) Geography.kif 5137-5137 River is a subclass of body of water
(subclass Sea BodyOfWater) Geography.kif 4435-4435 Sea is a subclass of body of water
(subclass Sound BodyOfWater) Geography.kif 4942-4942 Sound is a subclass of body of water
(subclass Strait BodyOfWater) Geography.kif 4956-4956 Strait is a subclass of body of water
(termFormat EnglishLanguage BodyOfWater "body of water") domainEnglishFormat.kif 2337-2337 "body of water" is the printable form of body of water in english language

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


(=>
    (and
        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))
Geography.kif 4994-4999
(=>
    (and
        (instance ?RIVER River)
        (instance ?WATER BodyOfWater)
        (flows ?RIVER ?WATER))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (streamOutfall ?MOUTH ?RIVER)
            (connected ?MOUTH ?WATER))))
Geography.kif 5322-5331
(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))
Geography.kif 4266-4271
(=>
    (and
        (instance ?body1 BodyOfWater)
        (instance ?body2 BodyOfWater)
        (connects ?strait ?body1 ?body2))
    (larger ?body1 ?strait))
Geography.kif 4969-4974

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


(=>
    (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 18837-18866
(=>
    (instance ?S Seafood)
    (exists (?X ?SEA)
        (and
            (meatOfAnimal ?S ?ANIMAL)
            (instance ?X ?ANIMAL)
            (instance ?SEA BodyOfWater)
            (inhabits ?X ?SEA))))
Food.kif 323-330
(=>
    (instance ?STREAM StreamWaterArea)
    (exists (?WATER)
        (and
            (instance ?WATER BodyOfWater)
            (not
                (equal ?WATER ?STREAM))
            (flows ?STREAM ?WATER))))
Geography.kif 5079-5085
(=>
    (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 5012-5020
(=>
    (instance ?strait Strait)
    (exists (?body1 ?body2)
        (and
            (instance ?body1 BodyOfWater)
            (instance ?body2 BodyOfWater)
            (connects ?strait ?body1 ?body2))))
Geography.kif 4961-4967


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners