consequent

(=>     (and         (duration ?T             (MeasureFn ?P MonthDuration))         (greaterThanOrEqualTo ?P 5)         (holdsDuring ?T             (and                 (equal ?D                     (SubtractionFn ?S ?L))                 (equal                     (MeasureFn ?S CelsiusDegree)                     (ThreeMonthsRunningMeanSSTFn Nino3Point4 ?M ?Y))                 (equal                     (MeasureFn ?L CelsiusDegree)                     (ThirtyYearAverageSSTForMonthFn Nino3Point4 ?M ?Y))                 (greaterThan ?D 0.5))))     (holdsDuring ?T         (exists (?EL ?A)             (and                 (instance ?EL ElNinoPhase)                 (instance ?A GeographicArea)                 (eventLocated ?EL ?A)))))	Weather.kif 544-565	If duration of a time interval is a real number month duration(s) and the real number is greater than or equal to 5 and equal an entity and (another entity and a third entity) and equal the other entity celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month a fourth entity year a fifth entity in region Nino 3.4 and equal the third entity celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month the fourth entity in year the fifth entity of region Nino 3.4 and the entity is greater than 0.5 holds during the time interval, then there exist a sixth entity and a seventh entity such that the sixth entity is an instance of El Nino phase and the seventh entity is an instance of geographic area and the sixth entity is located at the seventh entity holds during the time interval
(=>     (and         (duration ?T             (MeasureFn ?P MonthDuration))         (greaterThanOrEqualTo ?P 5)         (holdsDuring ?T             (and                 (equal ?D                     (SubtractionFn ?S ?L))                 (equal                     (MeasureFn ?S CelsiusDegree)                     (ThreeMonthsRunningMeanSSTFn Nino3Point4 ?M ?Y))                 (equal                     (MeasureFn ?L CelsiusDegree)                     (ThirtyYearAverageSSTForMonthFn Nino3Point4 ?M ?Y))                 (lessThan ?D -0.5))))     (holdsDuring ?T         (exists (?LA ?A)             (and                 (instance ?LA LaNinaPhase)                 (instance ?A GeographicArea)                 (eventLocated ?LA ?A)))))	Weather.kif 579-600	If duration of a time interval is a real number month duration(s) and the real number is greater than or equal to 5 and equal an entity and (another entity and a third entity) and equal the other entity celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month a fourth entity year a fifth entity in region Nino 3.4 and equal the third entity celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month the fourth entity in year the fifth entity of region Nino 3.4 and the entity is less than -0.5 holds during the time interval, then there exist the third entityA and a seventh entity such that the third entityA is an instance of La Nina phase and the seventh entity is an instance of geographic area and the third entityA is located at the seventh entity holds during the time interval
(=>     (and         (instance ?L LightningStrike)         (instance ?A WaterCloud)         (origin ?L ?A)         (destination ?L ?G))     (instance ?G GeographicArea))	Weather.kif 1463-1469	If a process is an instance of lightning strike and an object is an instance of water cloud and the process originates at the object and the process ends up at an entity, then the entity is an instance of geographic area
(=>     (and         (instance ?T Tornado)         (instance ?R Rotating)         (instance ?A Air)         (instance ?TRAN Translocation)         (subProcess ?R ?T)         (subProcess ?TRAN ?R)         (patient ?TRAN ?A)         (direction ?TRAN Horizontal))     (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)         (and             (instance ?G GeographicArea)             (eventLocated ?T ?G)             (part ?FUNNEL ?A)             (attribute ?FUNNEL ConeSegment)             (top ?TOP ?FUNNEL)             (bottom ?BOTTOM ?FUNNEL)             (instance ?C Cloud)             (bottom ?BASE ?C)             (meetsSpatially ?TOP ?BASE)             (meetsSpatially ?BOTTOM ?G))))	Weather.kif 2975-2996	If a process is an instance of tornado and another process is an instance of rotating and an object is an instance of air and the processRAN is an instance of translocation and the other process is a subprocess of the process and the processRAN is a subprocess of the other process and the object is a patient of the processRAN and entities in the process the processRAN are moving horizontal, then there exist another object, a self connected object,, , the processOP,, , a third self connected object,, , a fourth self connected object and a fifth self connected object such that the other object is an instance of geographic area and the process is located at the other object and the self connected object is a part of the object and cone segment is an attribute of the self connected object and the top of the self connected object is the processOP and the bottom of the self connected object is the third self connected object and the fourth self connected object is an instance of cloud and the bottom of the fourth self connected object is the fifth self connected object and the processOP meets the fifth self connected object and the third self connected object meets the other object
(=>     (and         (instance ?TEXT BirthCertificate)         (instance ?B Birth)         (instance ?A Human)         (experiencer ?B ?A))     (containsFormula ?TEXT         (exists (?DAY ?P ?N)             (and                 (birthdate ?A ?DAY)                 (instance ?DAY Day)                 (birthplace ?A ?P)                 (instance ?P GeographicArea)                 (represents ?N ?A)                 (instance ?N Name)))))	Biography.kif 256-270	If a content bearing physical is an instance of birth certificate and a process is an instance of birth and an agent is an instance of human and the agent experiences the process, then the content bearing physical contains the formula there exist an entity, another entity and a third entity such that the entity is a birthdate of the agent and the entity is an instance of day and the other entity is a birthplace of the agent and the other entity is an instance of geographic area and the third entity expresses the agent and the third entity is an instance of name
(=>     (and         (instance ?TEXT DeathCertificate)         (instance ?D Death)         (instance ?A Human)         (experiencer ?D ?A))     (containsFormula ?TEXT         (exists (?DAY ?P ?N ?PROC)             (and                 (deathdate ?A ?DAY)                 (instance ?DAY Day)                 (deathplace ?A ?P)                 (instance ?P GeographicArea)                 (represents ?N ?A)                 (instance ?N Name)                 (causes ?PROC ?D)                 (instance ?PROC Process)))))	Biography.kif 287-303	If a content bearing physical is an instance of death certificate and a process is an instance of death and an agent is an instance of human and the agent experiences the process, then the content bearing physical contains the formula there exist the processAY, another entity,, , a third entity and the other entityROC such that the processAY is a deathdate of the agent and the processAY is an instance of day and the other entity is a deathplace of the agent and the other entity is an instance of geographic area and the third entity expresses the agent and the third entity is an instance of name and the other entityROC causes the process and the other entityROC is an instance of process
(=>     (and         (instance ?W Transitway)         (attribute ?W BiDirectionalTraffic))     (exists (?P)         (and             (instance ?P Policy)             (confersNorm ?P                 (exists (?T1 ?A ?B)                     (and                         (instance ?T1 Transportation)                         (path ?T1 ?W)                         (instance ?A GeographicArea)                         (origin ?T1 ?A)                         (instance ?B GeographicArea)                         (destination ?T1 ?B)                         (holdsDuring                             (WhenFn ?T1)                             (exists (?T2)                                 (and                                     (instance ?T2 Transportation)                                     (path ?T2 ?W)                                     (origin ?T1 ?B)                                     (destination ?T1 ?A)                                     (not                                         (equal ?T1 ?T2))))))) Permission))))	Transportation.kif 3241-3265	If an object is an instance of transitway and bidirectional traffic is an attribute of the object, then there exists an entity such that the entity is an instance of policy and the entity confers norm there exist another entity, a third entity and a fourth entity such that the other entity is an instance of transportation and the object is path along which the other entity occurs and the third entity is an instance of geographic area and the other entity originates at the third entity and the fourth entity is an instance of geographic area and the other entity ends up at the fourth entity and there exists a fifth entity such that the fifth entity is an instance of transportation and the object is path along which the fifth entity occurs and the other entity originates at the fourth entity and the other entity ends up at the third entity and equal the other entity and the fifth entity holds during the time of existence of the other entity for permission
(=>     (and         (instance ?W Transitway)         (attribute ?W UniDirectionalTraffic))     (exists (?P)         (and             (instance ?P Policy)             (confersNorm ?P                 (exists (?T1 ?A ?B)                     (and                         (instance ?T1 Transportation)                         (path ?T1 ?W)                         (instance ?A GeographicArea)                         (origin ?T1 ?A)                         (instance ?B GeographicArea)                         (destination ?T1 ?B)                         (holdsDuring                             (WhenFn ?T1)                             (exists (?T2)                                 (and                                     (instance ?T2 Transportation)                                     (path ?T2 ?W)                                     (origin ?T1 ?B)                                     (destination ?T1 ?A)                                     (not                                         (equal ?T1 ?T2))))))) Prohibition))))	Transportation.kif 3274-3298	If an object is an instance of transitway and unidirectional traffic is an attribute of the object, then there exists an entity such that the entity is an instance of policy and the entity confers norm there exist another entity, a third entity and a fourth entity such that the other entity is an instance of transportation and the object is path along which the other entity occurs and the third entity is an instance of geographic area and the other entity originates at the third entity and the fourth entity is an instance of geographic area and the other entity ends up at the fourth entity and there exists a fifth entity such that the fifth entity is an instance of transportation and the object is path along which the fifth entity occurs and the other entity originates at the fourth entity and the other entity ends up at the third entity and equal the other entity and the fifth entity holds during the time of existence of the other entity for prohibition
(=>     (attribute ?A UrbanArea)     (instance ?A GeographicArea))	Mid-level-ontology.kif 28507-28509	If urban is an attribute of an object, then the object is an instance of geographic area
(=>     (climateTypeInArea ?AREA ?CLASS)     (exists (?REGION ?TYPE)         (and             (instance ?REGION GeographicArea)             (instance ?TYPE ?CLASS)             (attribute ?REGION ?TYPE)             (part ?REGION ?AREA))))	Geography.kif 2728-2735	If a kind of climate zone is a climate type in area of a geographic area, then there exist an object and an attribute such that the object is an instance of geographic area and the attribute is an instance of a kind of climate zone and the attribute is an attribute of the object and the object is a part of the geographic area
(=>     (codeMapping ISO_3166_1_alpha_2 ?TOKEN ?X)     (and         (instance ?X GeographicArea)         (instance ?TOKEN AlphabeticString)         (stringLength 2 ?TOKEN)))	Media.kif 2638-2643	If a symbolic string in ISO_3166_1_alpha_2 denotes an entity, then the entity is an instance of geographic area and the symbolic string is an instance of alphabetic string and the symbolic string is 2 characters long
(=>     (elevation ?OBJECT ?HEIGHT)     (exists (?PLACE)         (and             (instance ?PLACE GeographicArea)             (located ?OBJECT ?PLACE))))	Geography.kif 3369-3374	If a length measure is an elevation of an object, then there exists another object such that the other object is an instance of geographic area and the object is located at the other object
(=>     (holdsDuring ?T         (and             (equal ?D                 (SubtractionFn ?S ?L))             (equal                 (MeasureFn ?S CelsiusDegree)                 (ThreeMonthsRunningMeanSSTFn Nino3Point4 ?M ?Y))             (equal                 (MeasureFn ?L CelsiusDegree)                 (ThirtyYearAverageSSTForMonthFn Nino3Point4 ?M ?Y))             (greaterThanOrEqualTo ?D -0.5)             (lessThanOrEqualTo ?D 0.5)))     (holdsDuring ?T         (exists (?N ?A)             (and                 (instance ?N ENSONeutralPhase)                 (instance ?A GeographicArea)                 (eventLocated ?N ?A)))))	Weather.kif 608-626	If equal an entity and (another entity and a third entity) and equal the other entity celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month a fourth entity year a fifth entity in region Nino 3.4 and equal the third entity celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month the fourth entity in year the fifth entity of region Nino 3.4 and the entity is greater than or equal to -0.5 and the entity is less than or equal to 0.5 holds during a time position, then there exist a sixth entity and a seventh entity such that the sixth entity is an instance of Enso neutral phase and the seventh entity is an instance of geographic area and the sixth entity is located at the seventh entity holds during the time position
(=>     (instance ?CAC Cactus)     (modalAttribute         (exists (?AREA)             (and                 (instance ?AREA GeographicArea)                 (located ?CAC ?AREA)                 (exists (?D)                     (and                         (instance ?D Drought)                         (eventLocated ?D ?AREA))))) Likely))	Geography.kif 7917-7927	If an entity is an instance of cactus, then the statement there exists another entity such that the other entity is an instance of geographic area and the entity is located at the other entity and there exists a third entity such that the third entity is an instance of drought and the third entity is located at the other entity has the modal force of likely
(=>     (instance ?DUSTSTORM DustStorm)     (or         (exists (?AREA1)             (and                 (instance ?AREA1 GeographicArea)                 (climateTypeInArea ?AREA1 AridClimateZone)                 (eventLocated ?DUSTSTORM ?AREA1)))         (exists (?AREA2)             (and                 (instance ?AREA2 GeographicArea)                 (climateTypeInArea ?AREA2 SemiaridClimateZone)                 (eventLocated ?DUSTSTORM ?AREA2)))))	Weather.kif 2437-2449	If a process is an instance of dust storm, then there exists a geographic area such that the geographic area is an instance of geographic area and arid climate zone is a climate type in area of the geographic area and the process is located at the geographic area or there exists another geographic area such that the other geographic area is an instance of geographic area and semiarid climate zone is a climate type in area of the other geographic area and the process is located at the other geographic area
(=>     (instance ?H Hurricane)     (exists (?TC ?PLACE ?WIND)         (and             (instance ?TC TropicalCyclone)             (instance ?PLACE GeographicArea)             (eventLocated ?TC ?PLACE)             (equal                 (MeasureFn ?WIND MilesPerHour)                 (Mean1MinuteWindSpeedFn ?PLACE                     (WhenFn ?TC)))             (greaterThanOrEqualTo ?WIND 74.0))))	Weather.kif 1181-1192	If an entity is an instance of hurricane, then there exist a process, a geographic area and a real number such that the process is an instance of tropical cyclone and the geographic area is an instance of geographic area and the process is located at the geographic area and equal the real number miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of the process in region the geographic area and the real number is greater than or equal to 74.0
(=>     (instance ?M GroundAttackMissile)     (hasPurpose ?M         (exists (?OBJ ?REGION ?DAMAGE)             (and                 (instrument ?DAMAGE ?M)                 (patient ?DAMAGE ?OBJ)                 (instance ?DAMAGE Damaging)                 (instance ?REGION GeographicArea)                 (holdsDuring                     (BeginFn                         (WhenFn ?DAMAGE))                     (and                         (located ?M ?REGION)                         (located ?OBJ ?REGION)))))))	MilitaryDevices.kif 1156-1170	If a physical is an instance of ground attack missile, then the physical has the purpose there exist an entity, another entity and a third entity such that the physical is an instrument for the third entity and the entity is a patient of the third entity and the third entity is an instance of damaging and the other entity is an instance of geographic area and the physical is located at the other entity and the entity is located at the other entity holds during the beginning of the time of existence of the third entity
(=>     (instance ?M Map)     (exists (?A)         (and             (instance ?A GeographicArea)             (represents ?M ?A))))	Mid-level-ontology.kif 14618-14623	If an entity is an instance of map, then there exists another entity such that the other entity is an instance of geographic area and the entity expresses the other entity
(=>     (instance ?M SurfaceWindSpeedMeasuring)     (exists (?PLACE ?TOOL)         (and             (instance ?PLACE GeographicArea)             (instance ?TOOL Device)             (eventLocated ?M ?PLACE)             (instrument ?M ?TOOL)             (holdsDuring                 (WhenFn ?M)                 (elevation ?TOOL                     (MeasureFn 10.0 Meter))))))	Weather.kif 3056-3066	If a process is an instance of surface wind speed measuring, then there exist an object and another object such that the object is an instance of geographic area and the other object is an instance of device and the process is located at the object and the other object is an instrument for the process and 10.0 meter(s) is an elevation of the other object holds during the time of existence of the process
(=>     (instance ?PROCESS Blizzard)     (exists (?AREA ?DIST)         (and             (instance ?AREA GeographicArea)             (eventLocated ?PROCESS ?AREA)             (visibilityInMeteorology ?AREA                 (WhenFn ?PROCESS)                 (MeasureFn ?DIST Meter))             (lessThan ?DIST 400.0))))	Weather.kif 3966-3975	If a process is an instance of blizzard, then there exist a region and a real number such that the region is an instance of geographic area and the process is located at the region and the visibility at the region during the time of existence of the process is the real number meter(s) and the real number is less than 400.0
(=>     (instance ?PROCESS Blizzard)     (holdsDuring         (WhenFn ?PROCESS)         (exists (?AREA ?GALE ?DURATION)             (and                 (instance ?AREA GeographicArea)                 (eventLocated ?PROCESS ?AREA)                 (surfaceWindSpeed ?AREA                     (MeasureFn ?GALE KnotUnitOfSpeed))                 (greaterThan ?GALE 35.0)                 (duration                     (WhenFn ?PROCESS)                     (MeasureFn ?DURATION HourDuration))                 (greaterThan ?DURATION 3)))))	Weather.kif 3951-3964	If a physical is an instance of blizzard, then there exist an entity, another entity and a third entity such that the entity is an instance of geographic area and the physical is located at the entity and the other entity knot unit of speed(s) is a surface wind speed of the entity and the other entity is greater than 35.0 and duration of the time of existence of the physical is the third entity hour duration(s) and the third entity is greater than 3 holds during the time of existence of the physical
(=>     (instance ?SNOWSTORM Snowstorm)     (holdsDuring         (WhenFn ?SNOWSTORM)         (exists (?SNOW ?AREA ?NUM)             (and                 (instance ?SNOW Snowing)                 (instance ?AREA GeographicArea)                 (eventLocated ?SNOW ?AREA)                 (subProcess ?SNOW ?SNOWSTORM)                 (snowfallIntensity ?AREA                     (WhenFn ?SNOW)                     (PerFn                         (MeasureFn ?NUM Centimeter)                         (MeasureFn 1 HourDuration)))                 (greaterThan ?NUM 5.0)))))	Weather.kif 4265-4280	If a physical is an instance of snow storm, then there exist an entity, another entity and a third entity such that the entity is an instance of snowing and the other entity is an instance of geographic area and the entity is located at the other entity and the entity is a subprocess of the physical and the rate of snow falling at the other entity during the time of existence of the entity is the per of the third entity centimeter(s) and 1 hour duration(s) and the third entity is greater than 5.0 holds during the time of existence of the physical
(=>     (instance ?STORM Storm)     (holdsDuring         (WhenFn ?STORM)         (exists (?AREA ?STRONG)             (and                 (instance ?AREA GeographicArea)                 (surfaceWindSpeed ?AREA                     (MeasureFn ?STRONG KnotUnitOfSpeed))                 (greaterThan ?STRONG 30.0)))))	Weather.kif 4230-4239	If a physical is an instance of storm, then there exist an entity and another entity such that the entity is an instance of geographic area and the other entity knot unit of speed(s) is a surface wind speed of the entity and the other entity is greater than 30.0 holds during the time of existence of the physical
(=>     (instance ?STORM Storm)     (holdsDuring         (WhenFn ?STORM)         (modalAttribute             (exists (?P ?AREA)                 (and                     (instance ?P Precipitation)                     (instance ?AREA GeographicArea)                     (eventLocated ?P ?AREA)                     (subProcess ?P ?STORM))) Likely)))	Weather.kif 4218-4228	If a physical is an instance of storm, then the statement there exist an entity and another entity such that the entity is an instance of precipitation and the other entity is an instance of geographic area and the entity is located at the other entity and the entity is a subprocess of the physical has the modal force of likely holds during the time of existence of the physical
(=>     (instance ?STORM TropicalCyclonicSystem)     (exists (?PLACE)         (and             (instance ?PLACE GeographicArea)             (geographicSubregion ?PLACE Tropics)             (origin ?STORM ?PLACE))))	Weather.kif 1060-1066	If a process is an instance of tropical cyclonic system, then there exists a geographic area such that the geographic area is an instance of geographic area and the geographic area is a geographic subregion of tropics and the process originates at the geographic area
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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