| 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 4564-4566 | |
| (subclass BodyOfWater SelfConnectedObject) | Geography.kif 4562-4562 | |
| (subclass BodyOfWater WaterArea) | Geography.kif 4561-4561 |
| appearance as argument number 2 |
|
|
| (instance NorthAtlanticOcean BodyOfWater) | Geography.kif 4610-4610 | |
| (instance NorthPacificOcean BodyOfWater) | Geography.kif 4642-4642 | |
| (instance NortheasternPacificOcean BodyOfWater) | Geography.kif 4656-4656 | |
| (instance NorthwesternPacificOcean BodyOfWater) | Geography.kif 4669-4669 | |
| (instance SouthAtlanticOcean BodyOfWater) | Geography.kif 4623-4623 | |
| (instance SouthPacificOcean BodyOfWater) | Geography.kif 4682-4682 | |
| (instance WorldOcean BodyOfWater) | Geography.kif 4569-4569 | |
| (subclass Channel BodyOfWater) | Geography.kif 5386-5386 | |
| (subclass Creek BodyOfWater) | Geography.kif 5742-5742 | |
| (subclass Estuary BodyOfWater) | Geography.kif 5249-5249 | |
| (subclass Gulf BodyOfWater) | Geography.kif 5192-5192 | |
| (subclass Inlet BodyOfWater) | Geography.kif 5288-5288 | |
| (subclass LandlockedWater BodyOfWater) | Geography.kif 5148-5148 | |
| (subclass Ocean BodyOfWater) | Geography.kif 4583-4583 | |
| (subclass River BodyOfWater) | Geography.kif 5544-5544 | |
| (subclass Sea BodyOfWater) | Geography.kif 4828-4828 | |
| (subclass Sound BodyOfWater) | Geography.kif 5348-5348 | |
| (subclass Strait BodyOfWater) | Geography.kif 5362-5362 | |
| (termFormat ChineseLanguage BodyOfWater "水体") | domainEnglishFormat.kif 11498-11498 | |
| (termFormat ChineseTraditionalLanguage BodyOfWater "水體") | domainEnglishFormat.kif 11497-11497 | |
| (termFormat EnglishLanguage BodyOfWater "body of water") | domainEnglishFormat.kif 11496-11496 |
| antecedent |
|
|
| (=> (and (instance ?CHANNEL Channel) (instance ?BODY BodyOfWater) (connected ?CHANNEL ?BODY)) (larger ?BODY ?CHANNEL)) |
Geography.kif 5400-5405 | |
| (=> (and (instance ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER)))) |
Geography.kif 5731-5740 | |
| (=> (and (instance ?WATER BodyOfWater) (not (instance ?WATER Ocean)) (instance ?OCEAN Ocean)) (larger ?OCEAN ?WATER)) |
Geography.kif 4593-4598 | |
| (=> (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)) (larger ?body1 ?strait)) |
Geography.kif 5375-5380 |
| 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 1934-1943 | |
| (=> (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 22781-22811 | |
| (=> (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 4812-4819 | |
| (=> (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 5990-5997 | |
| (=> (instance ?STREAM StreamWaterArea) (exists (?WATER) (and (instance ?WATER BodyOfWater) (not (equal ?WATER ?STREAM)) (flows ?STREAM ?WATER)))) |
Geography.kif 5485-5491 | |
| (=> (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 5418-5426 | |
| (=> (instance ?strait Strait) (exists (?body1 ?body2) (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)))) |
Geography.kif 5367-5373 | |
| (=> (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 1403-1423 |
|
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