| 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 5253-5255 | |
| (subclass BodyOfWater SelfConnectedObject) | Geography.kif 5251-5251 | |
| (subclass BodyOfWater WaterArea) | Geography.kif 5250-5250 |
| appearance as argument number 2 |
|
|
| (instance NorthAtlanticOcean BodyOfWater) | Geography.kif 5299-5299 | |
| (instance NorthPacificOcean BodyOfWater) | Geography.kif 5331-5331 | |
| (instance NortheasternPacificOcean BodyOfWater) | Geography.kif 5345-5345 | |
| (instance NorthwesternPacificOcean BodyOfWater) | Geography.kif 5358-5358 | |
| (instance SouthAtlanticOcean BodyOfWater) | Geography.kif 5312-5312 | |
| (instance SouthPacificOcean BodyOfWater) | Geography.kif 5371-5371 | |
| (instance WorldOcean BodyOfWater) | Geography.kif 5258-5258 | |
| (subclass Channel BodyOfWater) | Geography.kif 6139-6139 | |
| (subclass Creek BodyOfWater) | Geography.kif 6494-6494 | |
| (subclass Estuary BodyOfWater) | Geography.kif 5989-5989 | |
| (subclass Gulf BodyOfWater) | Geography.kif 5895-5895 | |
| (subclass Inlet BodyOfWater) | Geography.kif 6028-6028 | |
| (subclass LandlockedWater BodyOfWater) | Geography.kif 5851-5851 | |
| (subclass Ocean BodyOfWater) | Geography.kif 5272-5272 | |
| (subclass River BodyOfWater) | Geography.kif 6296-6296 | |
| (subclass Sea BodyOfWater) | Geography.kif 5517-5517 | |
| (subclass Sound BodyOfWater) | Geography.kif 6088-6088 | |
| (subclass Strait BodyOfWater) | Geography.kif 6102-6102 | |
| (termFormat ChineseLanguage BodyOfWater "水体") | domainEnglishFormat.kif 11492-11492 | |
| (termFormat ChineseTraditionalLanguage BodyOfWater "水體") | domainEnglishFormat.kif 11491-11491 | |
| (termFormat EnglishLanguage BodyOfWater "body of water") | domainEnglishFormat.kif 11490-11490 |
| antecedent |
|
|
| (=> (and (instance ?CHANNEL Channel) (instance ?BODY BodyOfWater) (connected ?CHANNEL ?BODY)) (larger ?BODY ?CHANNEL)) |
Geography.kif 6152-6157 | |
| (=> (and (instance ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER)))) |
Geography.kif 6483-6492 | |
| (=> (and (instance ?T Tornado) (eventLocated ?T ?R) (instance ?R BodyOfWater)) (instance ?S TornadicWaterspout)) |
Weather.kif 1073-1078 | |
| (=> (and (instance ?WATER BodyOfWater) (not (instance ?WATER Ocean)) (instance ?OCEAN Ocean)) (larger ?OCEAN ?WATER)) |
Geography.kif 5282-5287 | |
| (=> (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)) (larger ?body1 ?strait)) |
Geography.kif 6115-6120 |
| 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 22752-22782 | |
| (=> (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 5501-5508 | |
| (=> (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 2184-2204 | |
| (=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART)))) |
Geography.kif 6742-6749 | |
| (=> (instance ?S Waterspout) (exists (?A ?R ?C ?F ?W) (and (instance ?A AirStream) (instance ?R Rotating) (patient ?R ?A) (origin ?R ?C) (instance ?C WaterCloud) (part ?F ?C) (shape ?F Cone) (eventLocated ?R ?W) (instance ?W BodyOfWater) (connects ?F ?W ?C)))) |
Weather.kif 1034-1047 | |
| (=> (instance ?STREAM StreamWaterArea) (exists (?WATER) (and (instance ?WATER BodyOfWater) (not (equal ?WATER ?STREAM)) (flows ?STREAM ?WATER)))) |
Geography.kif 6237-6243 | |
| (=> (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 6170-6178 | |
| (=> (instance ?strait Strait) (exists (?body1 ?body2) (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)))) |
Geography.kif 6107-6113 | |
| (=> (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 2250-2270 |
|
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