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 4250-4252
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4248-4248
(subclass BodyOfWater WaterArea) Geography.kif 4247-4247

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


(instance NorthAtlanticOcean BodyOfWater) Geography.kif 4296-4296
(instance NorthPacificOcean BodyOfWater) Geography.kif 4328-4328
(instance SouthAtlanticOcean BodyOfWater) Geography.kif 4309-4309
(instance SouthPacificOcean BodyOfWater) Geography.kif 4342-4342
(instance WorldOcean BodyOfWater) Geography.kif 4255-4255
(subclass Channel BodyOfWater) Geography.kif 4994-4994
(subclass Creek BodyOfWater) Geography.kif 5349-5349
(subclass Estuary BodyOfWater) Geography.kif 4857-4857
(subclass Gulf BodyOfWater) Geography.kif 4800-4800
(subclass Inlet BodyOfWater) Geography.kif 4896-4896
(subclass LandlockedWater BodyOfWater) Geography.kif 4756-4756
(subclass Ocean BodyOfWater) Geography.kif 4269-4269
(subclass River BodyOfWater) Geography.kif 5151-5151
(subclass Sea BodyOfWater) Geography.kif 4449-4449
(subclass Sound BodyOfWater) Geography.kif 4956-4956
(subclass Strait BodyOfWater) Geography.kif 4970-4970
(termFormat ChineseLanguage BodyOfWater "水体") domainEnglishFormat.kif 11425-11425
(termFormat ChineseTraditionalLanguage BodyOfWater "水體") domainEnglishFormat.kif 11424-11424
(termFormat EnglishLanguage BodyOfWater "body of water") domainEnglishFormat.kif 11423-11423

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


(=>
    (and
        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))
Geography.kif 5008-5013
(=>
    (and
        (instance ?RIVER River)
        (instance ?WATER BodyOfWater)
        (flows ?RIVER ?WATER))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (streamOutfall ?MOUTH ?RIVER)
            (connected ?MOUTH ?WATER))))
Geography.kif 5338-5347
(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))
Geography.kif 4279-4284
(=>
    (and
        (instance ?body1 BodyOfWater)
        (instance ?body2 BodyOfWater)
        (connects ?strait ?body1 ?body2))
    (larger ?body1 ?strait))
Geography.kif 4983-4988

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 18838-18867
(=>
    (instance ?S Seafood)
    (exists (?X ?SEA)
        (and
            (meatOfAnimal ?S ?ANIMAL)
            (instance ?X ?ANIMAL)
            (instance ?SEA BodyOfWater)
            (inhabits ?X ?SEA))))
Food.kif 322-329
(=>
    (instance ?STREAM StreamWaterArea)
    (exists (?WATER)
        (and
            (instance ?WATER BodyOfWater)
            (not
                (equal ?WATER ?STREAM))
            (flows ?STREAM ?WATER))))
Geography.kif 5093-5099
(=>
    (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 5026-5034
(=>
    (instance ?strait Strait)
    (exists (?body1 ?body2)
        (and
            (instance ?body1 BodyOfWater)
            (instance ?body2 BodyOfWater)
            (connects ?strait ?body1 ?body2))))
Geography.kif 4975-4981


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