| 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 4494-4496 | |
| (subclass BodyOfWater SelfConnectedObject) | Geography.kif 4492-4492 | |
| (subclass BodyOfWater WaterArea) | Geography.kif 4491-4491 |
| appearance as argument number 2 |
|
|
| (instance NorthAtlanticOcean BodyOfWater) | Geography.kif 4540-4540 | |
| (instance NorthPacificOcean BodyOfWater) | Geography.kif 4572-4572 | |
| (instance NortheasternPacificOcean BodyOfWater) | Geography.kif 4586-4586 | |
| (instance NorthwesternPacificOcean BodyOfWater) | Geography.kif 4599-4599 | |
| (instance SouthAtlanticOcean BodyOfWater) | Geography.kif 4553-4553 | |
| (instance SouthPacificOcean BodyOfWater) | Geography.kif 4612-4612 | |
| (instance WorldOcean BodyOfWater) | Geography.kif 4499-4499 | |
| (subclass Channel BodyOfWater) | Geography.kif 5316-5316 | |
| (subclass Creek BodyOfWater) | Geography.kif 5672-5672 | |
| (subclass Estuary BodyOfWater) | Geography.kif 5179-5179 | |
| (subclass Gulf BodyOfWater) | Geography.kif 5122-5122 | |
| (subclass Inlet BodyOfWater) | Geography.kif 5218-5218 | |
| (subclass LandlockedWater BodyOfWater) | Geography.kif 5078-5078 | |
| (subclass Ocean BodyOfWater) | Geography.kif 4513-4513 | |
| (subclass River BodyOfWater) | Geography.kif 5474-5474 | |
| (subclass Sea BodyOfWater) | Geography.kif 4758-4758 | |
| (subclass Sound BodyOfWater) | Geography.kif 5278-5278 | |
| (subclass Strait BodyOfWater) | Geography.kif 5292-5292 | |
| (termFormat ChineseLanguage BodyOfWater "水体") | domainEnglishFormat.kif 11494-11494 | |
| (termFormat ChineseTraditionalLanguage BodyOfWater "水體") | domainEnglishFormat.kif 11493-11493 | |
| (termFormat EnglishLanguage BodyOfWater "body of water") | domainEnglishFormat.kif 11492-11492 |
| antecedent |
|
|
| (=> (and (instance ?CHANNEL Channel) (instance ?BODY BodyOfWater) (connected ?CHANNEL ?BODY)) (larger ?BODY ?CHANNEL)) |
Geography.kif 5330-5335 | |
| (=> (and (instance ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER)))) |
Geography.kif 5661-5670 | |
| (=> (and (instance ?WATER BodyOfWater) (not (instance ?WATER Ocean)) (instance ?OCEAN Ocean)) (larger ?OCEAN ?WATER)) |
Geography.kif 4523-4528 | |
| (=> (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)) (larger ?body1 ?strait)) |
Geography.kif 5305-5310 |
| 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 1928-1937 | |
| (=> (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 21405-21435 | |
| (=> (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 4742-4749 | |
| (=> (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 5920-5927 | |
| (=> (instance ?STREAM StreamWaterArea) (exists (?WATER) (and (instance ?WATER BodyOfWater) (not (equal ?WATER ?STREAM)) (flows ?STREAM ?WATER)))) |
Geography.kif 5415-5421 | |
| (=> (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 5348-5356 | |
| (=> (instance ?strait Strait) (exists (?body1 ?body2) (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)))) |
Geography.kif 5297-5303 | |
| (=> (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 1404-1424 |
|
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