consequent

(=>     (and         (instance ?B EndorheicBasin)         (instance ?R River)         (located ?R ?B))     (not         (exists (?OUT)             (and                 (instance ?OUT BodyOfWater)                 (flows ?R ?OUT)))))	Geography.kif 470-479	If an object is an instance of EndorheicBasin and a physical is an instance of River and the physical is located at the object, then there doesn't exist another physical such that the other physical is an instance of BodyOfWater and flows the physical and the other physical
(=>     (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	If an entity is an instance of a kind of meat and a kind of meat is a subclass of Seafood, then there exist an organism, the entityEA and a kind of animal such that meatOfAnimal the kind of meat and a kind of animal and the organism is an instance of the kind of animal and the entityEA is an instance of BodyOfWater and the organism lives in the entityEA
(=>     (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 22755-22785	If a proposition is an instance of Argument and a process is an instance of reasoning and another proposition is an instance of Archeology and the proposition is a sub-proposition of the other proposition and the process expresses the content of the proposition, then there exist another process, an entity,, , a physical,, , a real number,, , another entity and a third entity such that the other process is an instance of Discovering and the physical is an instance of object and the physical is a patient of the other process and the process includes a reference to the other process and the time of existence of the other process happens earlier than the time of existence of the process and the age of the physical is the real number YearDuration(s) and the real number is greater than 50 and the entity is a surface of the other entity and the other entity is an instance of BodyOfWater and the physical is Below to the entity or the entity is a surface of the third entity and the third entity is an instance of land area and the physical is Below to the entity holds during immediately before the time of existence of the other process
(=>     (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 1751-1761	If a physical is an instance of Bridge, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of Translocation and the physical is path along which the entity occurs and the physical is Above to the other entity and the other entity is an instance of land area or the other entity is an instance of BodyOfWater
(=>     (instance ?BERG Iceberg)     (exists (?PART ?WATER)         (and             (instance ?PART Ice)             (most ?PART ?BERG)             (instance ?WATER BodyOfWater)             (covers ?WATER ?PART))))	Geography.kif 6294-6301	If an object is an instance of Iceberg, then there exist another object and a third object such that the other object is an instance of Ice and most the other object and the object and the third object is an instance of BodyOfWater and covers the third object and the other object
(=>     (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 2679-2699	If a process is an instance of BreakingWave, then there exist another process, an object,, , an entity and a transfer such that the other process is an instance of WaterWave and the process is a subprocess of the other process and the object is an instance of BodyOfWater and the entity is an instance of BodyOfWater and the entity is a patient of the other process and the object is a patient of the process and the transfer is an instance of Falling and objectTransferred the transfer and the object and the object is a part of the entity holds during the beginning of the time of existence of the transfer and the object is not a part of the entity holds during the end of the time of existence of the transfer
(=>     (instance ?LAND Shoal)     (exists (?PART ?WATER)         (and             (instance ?PART LandForm)             (most ?PART ?LAND)             (instance ?WATER BodyOfWater)             (covers ?WATER ?PART))))	Geography.kif 7535-7542	If an object is an instance of Shoal, then there exist another object and a third object such that the other object is an instance of LandForm and most the other object and the object and the third object is an instance of BodyOfWater and covers the third object and the other object
(=>     (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 1492-1505	If an entity is an instance of Waterspout, then there exist another entity, a process,, , an object,, , another object and a third object such that the other entity is an instance of AirStream and the process is an instance of Rotating and the other entity is a patient of the process and the process originates at the object and the object is an instance of WaterCloud and the other object is a part of the object and shape the other object and Cone and event located the process and the third object and the third object is an instance of BodyOfWater and the other object connects the third object and the object
(=>     (instance ?STREAM StreamWaterArea)     (exists (?WATER)         (and             (instance ?WATER BodyOfWater)             (not                 (equal ?WATER ?STREAM))             (flows ?STREAM ?WATER))))	Geography.kif 7030-7036	If a physical is an instance of stream water area, then there exists another physical such that the other physical is an instance of BodyOfWater and equal the other physical and the physical and flows the physical and the other physical
(=>     (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 6963-6971	If a geographic area is an instance of InlandWaterSystem, then there exist another geographic area and a third geographic area such that the other geographic area is an instance of BodyOfWater and the third geographic area is an instance of BodyOfWater and equal the other geographic area and the third geographic area and geographicSubregion the other geographic area and the geographic area and geographicSubregion the third geographic area and the geographic area
(=>     (instance ?strait Strait)     (exists (?body1 ?body2)         (and             (instance ?body1 BodyOfWater)             (instance ?body2 BodyOfWater)             (connects ?strait ?body1 ?body2))))	Geography.kif 6900-6906	If an object is an instance of Strait, then there exist another object and a third object such that the other object is an instance of BodyOfWater and the third object is an instance of BodyOfWater and the object connects the other object and the third object
(=>     (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 2745-2765	If waveHeight a WaterWave and a length measure, then there exist an object, another object,, , a third object and an unit of measure such that the object is an instance of BodyOfWater and event located the WaterWave and the object and the other object is a part of the object and the third object is a part of the object and the distance between the other object and the third object is the length measure and there don't exist a fourth object and the fourth objectH such that the fourth object is a part of the object and the altitude of the fourth object relative to the other object is the fourth objectH the unit of measure(s) and the fourth objectH is greater than 0.0 and there don't exist a fifth object and the fifth objectH such that the fifth object is a part of the object and the altitude of the third object relative to the fifth object is the fifth objectH the unit of measure(s) and the fifth objectH is greater than 0.0

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