consequent

(=>     (and         (instance ?DRYSPELL Drought)         (eventLocated ?DRYSPELL ?AREA))     (not         (exists (?RAIN ?PLACE)             (and                 (instance ?RAIN Raining)                 (instance ?PLACE Region)                 (eventLocated ?RAIN ?PLACE)                 (overlapsSpatially ?PLACE ?AREA)                 (overlapsTemporally ?RAIN ?DRYSPELL)))))	Weather.kif 3795-3806	If a time interval is an instance of drought and the time interval is located at an object, then there don't exist another time interval and another object such that the other time interval is an instance of raining and the other object is an instance of region and the other time interval is located at the other object and the other object and the object overlapsSpatially and the time interval overlaps the other time interval
(=>     (and         (instance ?LE LandMeanOfProduction)         (attribute ?LEO ?LE))     (exists (?L ?EMS)         (or             (and                 (instance ?L Region)                 (part ?LEO ?L))             (and                 (instance ?EMS ElectromagenticSpectrum)                 (equal ?LEO ?EMS)))))	Economy.kif 6135-6146	If an attribute is an instance of natural resource and the attribute is an attribute of the attributeO, then there exist another object and an entity such that the other object is an instance of region and the attributeO is a part of the other object or the entity is an instance of ElectromagenticSpectrum and equal the attributeO and the entity
(=>     (and         (instance ?LOCATING Locating)         (patient ?LOCATING ?THING)         (agent ?LOCATING ?AGENT))     (hasPurpose ?LOCATING         (exists (?LOCATION)             (and                 (instance ?LOCATION Region)                 (knows ?AGENT                     (located ?THING ?LOCATION))))))	MilitaryProcesses.kif 596-606	If a process is an instance of locating and an entity is a patient of the process and an agent is an agent of the process, then the process has the purpose there exists another entity such that the other entity is an instance of region and the agent knows the entity is located at the other entity
(=>     (and         (instance ?MOVEMENT Translocation)         (origin ?MOVEMENT ?PLACE1))     (exists (?PLACE2 ?STAGE)         (and             (instance ?PLACE2 Region)             (not                 (equal ?PLACE1 ?PLACE2))             (subProcess ?STAGE ?MOVEMENT)             (located ?STAGE ?PLACE2))))	Merge.kif 11730-11739	If a process is an instance of translocation and the process originates at an object, then there exist another object and another process such that the other object is an instance of region and equal the object and the other object and the other process is a subprocess of the process and the other process is located at the other object
(=>     (and         (instance ?X BreakingRecord)         (agent ?X ?A1))     (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)         (and             (instance ?AC Set)             (element ?A1 ?AC)             (subclass ?PC Process)             (instance ?L Region)             (instance ?TP TimePoint)             (instance ?Q Quantity)             (instance ?P1 ?PC)             (refers ?X ?Q)             (refers ?Q ?P1)             (playsRoleInEvent ?A1 ?ROLE ?P1)             (eventLocated ?P1 ?L)             (not                 (exists (?A2 ?P2)                     (and                         (instance ?A2 ?AC)                         (not                             (equal ?A2 ?A1))                         (instance ?P2 ?PC)                         (holdsDuring                             (TimeIntervalFn ?TP                                 (EndFn                                     (WhenFn ?X)))                             (and                                 (playsRoleInEvent ?A2 ?ROLE ?P2)                                 (eventLocated ?P2 ?L)))))))))	Mid-level-ontology.kif 32451-32481	If a process is an instance of breaking record and an agent is an agent of the process, then there exist a set, a class,, , another process,, , a time point,, , a case role,, , an object and an entity such that the set is an instance of set and the agent is an element of the set and the class is a subclass of process and the object is an instance of region and the time point is an instance of time point and the entity is an instance of quantity and the other process is an instance of the class and the process includes a reference to the entity and the entity includes a reference to the other process and the agent plays role in event the case role for the other process and the other process is located at the object and there don't exist another entity and a third entity such that the other entity is an instance of the set and equal the other entity and the agent and the third entity is an instance of the class and the other entity plays role in event the case role for the third entity and the third entity is located at the object holds during interval between the time point and the end of the time of existence of the process
(=>     (attribute ?REGION Illuminated)     (exists (?EMIT)         (and             (instance ?EMIT RadiatingLight)             (patient ?EMIT ?REGION)             (instance ?REGION Region))))	Merge.kif 13838-13844	If illuminated is an attribute of an object, then there exists a process such that the process is an instance of radiating light and the object is a patient of the process and the object is an instance of region
(=>     (attribute ?ROOM OpenLayout)     (and         (instance ?ROOM Room)         (exists (?R1 ?R2 ?H)             (and                 (instance ?R1 Region)                 (instance ?R2 Region)                 (located ?R1 ?ROOM)                 (located ?R2 ?ROOM)                 (not                     (equal ?R1 ?R2))                 (orientation ?R1 ?R2 Adjacent)                 (exists (?P1 ?P2)                     (and                         (instance ?P1 Process)                         (instance ?P2 Process)                         (hasPurpose ?R1 ?P1)                         (hasPurpose ?R2 ?P2)))                 (=>                     (and                         (instance ?H AutonomousAgent)                         (located ?H ?R2))                     (and                         (capability Seeing agent ?H)                         (capability Seeing patient ?R1)))))))	Dining.kif 956-980	If open layout is an attribute of an object, then the object is an instance of room and there exist another object, a third object and a fourth object such that the other object is an instance of region and the third object is an instance of region and the other object is located at the object and the third object is located at the object and equal the other object and the third object and the other object is adjacent to the third object and there exist a formula and another formula such that the formula is an instance of process and the other formula is an instance of process and the other object has the purpose the formula and the third object has the purpose the other formula and if the fourth object is an instance of agent and the fourth object is located at the third object, then the fourth object is capable of doing seeing as a agent and the other object is capable of doing seeing as a patient
(=>     (attribute ?X DownAndInRoom)     (exists (?LOC ?INDOOR)         (and             (instance ?INDOOR Indoors)             (instance ?LOC Region)             (orientation ?LOC ?X Adjacent)             (orientation ?LOC ?X Outside)             (located ?LOC ?INDOOR))))	Hotel.kif 1065-1073	If down and in room is an attribute of an object, then there exist another object and a third object such that the third object is an instance of indoors and the other object is an instance of region and the other object is adjacent to the object and the other object is outside to the object and the other object is located at the third object
(=>     (attribute ?X DownAndOutRoom)     (exists (?LOC ?OUTDOOR)         (and             (instance ?OUTDOOR Outdoors)             (instance ?LOC Region)             (orientation ?LOC ?X Adjacent)             (orientation ?LOC ?X Outside)             (located ?LOC ?OUTDOOR))))	Hotel.kif 1080-1088	If down and out room is an attribute of an object, then there exist another object and a third object such that the third object is an instance of outdoors and the other object is an instance of region and the other object is adjacent to the object and the other object is outside to the object and the other object is located at the third object
(=>     (attribute ?X PartialVacuum)     (exists (?O ?G ?P1 ?P2 ?PM)         (and             (instance ?O SelfConnectedObject)             (instance ?G Region)             (not                 (equal ?G ?X))             (connected ?X ?O)             (connected ?G ?O)             (measure ?G                 (MeasureFn ?P1 ?PM))             (measure ?X                 (MeasureFn ?P2 ?PM))             (instance ?PM UnitOfAtmosphericPressure)             (greaterThan ?P1 ?P2))))	Cars.kif 383-396	If partial vacuum is an attribute of an object, then there exist another object, a third object,, , a real number,, , another real number and an unit of measure such that the other object is an instance of self connected object and the third object is an instance of region and equal the third object and the object and the object is connected to the other object and the third object is connected to the other object and the measure of the third object is the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the unit of measure is an instance of unit of atmospheric pressure and the real number is greater than the other real number
(=>     (attribute ?X Pressurized)     (exists (?O ?G ?P1 ?P2 ?PM)         (and             (instance ?O SelfConnectedObject)             (instance ?G Region)             (not                 (equal ?G ?X))             (connected ?X ?O)             (connected ?G ?O)             (measure ?G                 (MeasureFn ?P1 ?PM))             (measure ?X                 (MeasureFn ?P2 ?PM))             (instance ?PM UnitOfAtmosphericPressure)             (greaterThan ?P2 ?P1))))	Cars.kif 403-416	If pressurized is an attribute of an object, then there exist another object, a third object,, , a real number,, , another real number and an unit of measure such that the other object is an instance of self connected object and the third object is an instance of region and equal the third object and the object and the object is connected to the other object and the third object is connected to the other object and the measure of the third object is the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the unit of measure is an instance of unit of atmospheric pressure and the other real number is greater than the real number
(=>     (instance ?CTRL TemperatureControl)     (exists (?DEVICE ?TEMP)         (and             (instance ?DEVICE ElectricDevice)             (part ?CTRL ?DEVICE)             (hasPurpose ?DEVICE                 (exists (?PROC)                     (and                         (instance ?AREA Region)                         (or                             (instance ?PROC Heating)                             (instance ?PROC Cooling))                         (instrument ?PROC ?CTRL)))))))	engineering.kif 1452-1465	If an object is an instance of temperature control, then there exist another object and an entity such that the other object is an instance of electric device and the object is a part of the other object and the other object has the purpose there exists another entity such that a third entity is an instance of region and the other entity is an instance of heating or the other entity is an instance of cooling and the object is an instrument for the other entity
(=>     (instance ?E Entering)     (exists (?R ?A)         (and             (instance ?R Region)             (destination ?E ?R)             (agent ?E ?A)             (instance ?A AutonomousAgent)             (holdsDuring                 (BeginFn                     (WhenFn ?E))                 (orientation ?A ?R Outside))             (holdsDuring                 (EndFn                     (WhenFn ?E))                 (orientation ?A ?R Inside)))))	Mid-level-ontology.kif 18673-18686	If a process is an instance of entering, then there exist an entity and an agent such that the entity is an instance of region and the process ends up at the entity and the agent is an agent of the process and the agent is an instance of agent and the agent is outside to the entity holds during the beginning of the time of existence of the process and the agent is inside to the entity holds during the end of the time of existence of the process
(=>     (instance ?E Exiting)     (exists (?R ?A)         (and             (instance ?R Region)             (origin ?E ?R)             (agent ?E ?A)             (instance ?A AutonomousAgent)             (holdsDuring                 (BeginFn                     (WhenFn ?E))                 (orientation ?A ?R Inside))             (holdsDuring                 (EndFn                     (WhenFn ?E))                 (orientation ?A ?R Outside)))))	Mid-level-ontology.kif 18692-18705	If a process is an instance of exiting, then there exist an object and an agent such that the object is an instance of region and the process originates at the object and the agent is an agent of the process and the agent is an instance of agent and the agent is inside to the object holds during the beginning of the time of existence of the process and the agent is outside to the object holds during the end of the time of existence of the process
(=>     (instance ?HOLE GolfHole)     (exists (?C ?CIR)         (and             (shape ?HOLE Cylinder)             (top ?C ?HOLE)             (instance ?C Region)             (shape ?C ?CIR)             (equal ?CIR Circle)             (diameter ?CIR                 (MeasureFn 4.25 Inch)))))	Sports.kif 976-986	If a self connected object is an instance of golf hole, then there exist another self connected object and the other self connected objectIR such that the self connected object is cylinder and the top of the self connected object is the other self connected object and the other self connected object is an instance of region and the other self connected object is the other self connected objectIR and equal the other self connected objectIR and circle and the diameter of the other self connected objectIR is 4.25 inch(s)
(=>     (instance ?HR HeavyRaining)     (holdsDuring         (WhenFn ?HR)         (exists (?AREA ?NUM)             (and                 (instance ?AREA Region)                 (eventLocated ?HR ?AREA)                 (rainfallIntensity ?AREA                     (WhenFn ?HR)                     (PerFn                         (MeasureFn ?NUM Millimeter)                         (MeasureFn 1 HourDuration)))                 (greaterThan ?NUM 10.0)                 (greaterThan 50.0 ?NUM)))))	Weather.kif 1802-1816	If a physical is an instance of heavy raining, then there exist an entity and another entity such that the entity is an instance of region and the physical is located at the entity and the rate of rain in the entity during the time of existence of the physical is the per of the other entity millimeter(s) and 1 hour duration(s) and the other entity is greater than 10.0 and 50.0 is greater than the other entity holds during the time of existence of the physical
(=>     (instance ?R PositionReport)     (containsFormula ?R         (exists (?O ?A)             (and                 (instance ?O Object)                 (instance ?A Region)                 (holdsDuring                     (WhenFn ?R)                     (located ?O ?A))))))	Mid-level-ontology.kif 7718-7726	If a content bearing physical is an instance of position report, then the content bearing physical contains the formula there exist an entity and another entity such that the entity is an instance of object and the other entity is an instance of region and the entity is located at the other entity holds during the time of existence of the content bearing physical
(=>     (instance ?SHOWER RainShowering)     (holdsDuring         (WhenFn ?SHOWER)         (exists (?RAIN1 ?RAIN2 ?AREA)             (and                 (instance ?RAIN1 Raining)                 (instance ?RAIN2 Raining)                 (instance ?AREA Region)                 (subProcess ?RAIN1 ?SHOWER)                 (subProcess ?RAIN2 ?SHOWER)                 (eventLocated ?RAIN1 ?AREA)                 (eventLocated ?RAIN2 ?AREA)                 (not                     (overlapsTemporally                         (WhenFn ?RAIN1)                         (WhenFn ?RAIN2)))))))	Weather.kif 4190-4204	If a physical is an instance of rain showering, then there exist an entity, another entity and a third entity such that the entity is an instance of raining and the other entity is an instance of raining and the third entity is an instance of region and the entity is a subprocess of the physical and the other entity is a subprocess of the physical and the entity is located at the third entity and the other entity is located at the third entity and the time of existence of the other entity doesn't overlap the time of existence of the entity holds during the time of existence of the physical
(=>     (instance ?STORM Storm)     (holdsDuring         (WhenFn ?STORM)         (exists (?LOW ?AREA ?AIR ?RISE)             (and                 (instance ?LOW LowPressureWeatherSystem)                 (instance ?AREA Region)                 (eventLocated ?LOW ?AREA)                 (instance ?AIR Air)                 (instance ?RISE MotionUpward)                 (patient ?RISE ?AIR)                 (eventLocated ?RISE ?AREA)                 (subProcess ?RISE ?LOW)))))	Weather.kif 4241-4254	If a physical is an instance of storm, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of low pressure weather system and the other entity is an instance of region and the entity is located at the other entity and the third entity is an instance of air and the fourth entity is an instance of motion upward and the third entity is a patient of the fourth entity and the fourth entity is located at the other entity and the fourth entity is a subprocess of the entity holds during the time of existence of the physical
(=>     (instance ?T Telemetry)     (exists (?REMOTELOCATION ?MEASURINGDEVICE ?RECEIVINGLOCATION ?RECEIVINGSTATION ?MEASURING ?MESSAGING)         (and             (instance ?MEASURING Measuring)             (instance ?MEASURINGDEVICE MeasuringDevice)             (instance ?REMOTELOCATION Region)             (instance ?RECEIVINGLOCATION Region)             (instance ?MESSAGING Messaging)             (subProcess ?MESSAGING ?T)             (subProcess ?MEASURING ?T)             (instance ?RECEIVINGSTATION ElectronicDataStorageDevice)             (agent ?MEASURING ?MEASURINGDEVICE)             (located ?MEASURINGDEVICE ?REMOTELOCATION)             (located ?RECEIVINGSTATION ?RECEIVINGLOCATION)             (eventLocated ?MEASURING ?REMOTELOCATION)             (not                 (equal ?RECEIVINGLOCATION ?REMOTELOCATION))             (origin ?MESSAGING ?MEASURINGDEVICE)             (destination ?MESSAGING ?RECEIVINGSTATION))))	Communications.kif 316-334	If a process is an instance of telemetry, then there exist an object, an agent,, , another object,, , a physical,, , another process and a third process such that the other process is an instance of measuring and the agent is an instance of measuring device and the object is an instance of region and the other object is an instance of region and the third process is an instance of messaging and the third process is a subprocess of the process and the other process is a subprocess of the process and the physical is an instance of electronic data storage device and the agent is an agent of the other process and the agent is located at the object and the physical is located at the other object and the other process is located at the object and equal the other object and the object and the third process originates at the agent and the third process ends up at the physical
(=>     (orientation ?OBJ ?REGION Inside)     (instance ?REGION Region))	Mid-level-ontology.kif 10310-10312	If an object is inside to another object, then the other object is an instance of region
(=>     (orientation ?OBJ ?REGION Outside)     (instance ?REGION Region))	Mid-level-ontology.kif 10306-10308	If an object is outside to another object, then the other object is an instance of region
(=>     (surfaceWindDirection ?PLACE ?DIR)     (exists (?WIND ?FROM)         (and             (instance ?WIND Wind)             (instance ?FROM Region)             (eventPartlyLocated ?WIND ?PLACE)             (origin ?WIND ?FROM)             (orientation ?FROM ?PLACE ?DIR))))	Weather.kif 166-174	If a directional attribute is a surface wind direction of an object, then there exist a process and another object such that the process is an instance of wind and the other object is an instance of region and the process is partly located at the object and the process originates at the other object and the other object is the directional attribute to the object

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