(=>     (and         (instance ?C CurdlingMilk)         (instance ?M Milk)         (patient ?C ?M))     (exists (?PH ?D ?H ?L)         (and             (measure ?M                 (MeasureFn ?PH PHValue))             (instance ?D Decreasing)             (subProcess ?D ?C)             (patient ?D ?PH)             (holdsDuring                 (BeginFn                     (WhenFn ?D))                 (equal ?PH ?H)                 (approximateValue ?H 6.5))             (holdsDuring                 (EndFn                     (WhenFn ?D))                 (equal ?PH ?L)                 (approximateValue ?L 4.5)))))	Food.kif 3233-3254	If a process is an instance of curdling milk and a physical is an instance of milk and the physical is a patient of the process, then there exist a real number, another process,, , an entity and another entity such that the measure of the physical is the real number PH value(s) and the other process is an instance of decreasing and the other process is a subprocess of the process and the real number is a patient of the other process and equal the real number and the entity holds during the beginning of the time of existence of the other process and equal the real number and the other entity holds during the end of the time of existence of the other process
(=>     (and         (instance ?CATCH Catching)         (agent ?CATCH ?AGENT)         (patient ?CATCH ?BALL))     (holdsDuring         (EndFn             (WhenFn ?CATCH))         (grasps ?AGENT ?BALL)))	Mid-level-ontology.kif 18499-18504	If a process is an instance of catching and an agent is an agent of the process and an entity is a patient of the process, then the agent grasps the entity holds during the end of the time of existence of the process
(=>     (and         (instance ?CHANGE ChangeOfPossession)         (origin ?CHANGE ?AGENT1)         (destination ?CHANGE ?AGENT2)         (instance ?AGENT1 AutonomousAgent)         (instance ?AGENT2 AutonomousAgent)         (patient ?CHANGE ?OBJ))     (and         (holdsDuring             (BeginFn                 (WhenFn ?CHANGE))             (possesses ?AGENT1 ?OBJ))         (holdsDuring             (EndFn                 (WhenFn ?CHANGE))             (possesses ?AGENT2 ?OBJ))))	Merge.kif 11806-11816	If a process is an instance of change of possession and the process originates at an object and the process ends up at an entity and the object is an instance of agent and the entity is an instance of agent and another entity is a patient of the process, then the object possesses the other entity holds during the beginning of the time of existence of the process and the entity possesses the other entity holds during the end of the time of existence of the process
(=>     (and         (instance ?CHANGE InternalChange)         (patient ?CHANGE ?OBJ))     (exists (?PROPERTY)         (or             (and                 (holdsDuring                     (BeginFn                         (WhenFn ?CHANGE))                     (attribute ?OBJ ?PROPERTY))                 (holdsDuring                     (EndFn                         (WhenFn ?CHANGE))                     (not                         (attribute ?OBJ ?PROPERTY))))             (and                 (holdsDuring                     (BeginFn                         (WhenFn ?CHANGE))                     (not                         (attribute ?OBJ ?PROPERTY)))                 (holdsDuring                     (EndFn                         (WhenFn ?CHANGE))                     (attribute ?OBJ ?PROPERTY))))))	Merge.kif 12753-12764	If a process is an instance of internal change and an entity is a patient of the process, then there exists another entity such that the other entity is an attribute of the entity holds during the beginning of the time of existence of the process and the other entity is not an attribute of the entity holds during the end of the time of existence of the process or the other entity is not an attribute of the entity holds during the beginning of the time of existence of the process and the other entity is an attribute of the entity holds during the end of the time of existence of the process
(=>     (and         (instance ?CLOSE ClosingGraphicalWindow)         (patient ?CLOSE ?WINDOW))     (and         (instance ?WINDOW InterfaceWindow)         (time ?WINDOW             (BeginFn                 (WhenFn ?OPEN)))         (not             (time ?WINDOW                 (EndFn                     (WhenFn ?OPEN))))))	ComputerInput.kif 2438-2445	If a process is an instance of closing graphical window and a physical is a patient of the process, then the physical is an instance of interface window and the physical exists during the beginning of the time of existence of another physical and the physical doesn't exist during the end of the time of existence of the other physical
(=>     (and         (instance ?COLORING Coloring)         (patient ?COLORING ?OBJ))     (exists (?PROPERTY ?PART)         (and             (part ?PART ?OBJ)             (instance ?PROPERTY ColorAttribute)             (or                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?COLORING))                         (attribute ?PART ?PROPERTY))                     (holdsDuring                         (EndFn                             (WhenFn ?COLORING))                         (not                             (attribute ?PART ?PROPERTY))))                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?COLORING))                         (not                             (attribute ?PART ?PROPERTY)))                     (holdsDuring                         (EndFn                             (WhenFn ?COLORING))                         (attribute ?PART ?PROPERTY)))))))	Merge.kif 12790-12804	If a process is an instance of coloring and an object is a patient of the process, then there exist an entity and another object such that the other object is a part of the object and the entity is an instance of color attribute and the entity is an attribute of the other object holds during the beginning of the time of existence of the process and the entity is not an attribute of the other object holds during the end of the time of existence of the process or the entity is not an attribute of the other object holds during the beginning of the time of existence of the process and the entity is an attribute of the other object holds during the end of the time of existence of the process
(=>     (and         (instance ?COND Condensing)         (patient ?COND ?OBJ))     (exists (?PART)         (and             (part ?PART ?OBJ)             (holdsDuring                 (BeginFn                     (WhenFn ?COND))                 (attribute ?PART Gas))             (holdsDuring                 (EndFn                     (WhenFn ?COND))                 (attribute ?PART Liquid)))))	Merge.kif 14132-14140	If a process is an instance of condensing and an object is a patient of the process, then there exists another object such that the other object is a part of the object and gas is an attribute of the other object holds during the beginning of the time of existence of the process and liquid is an attribute of the other object holds during the end of the time of existence of the process
(=>     (and         (instance ?COOL Cooling)         (patient ?COOL ?OBJ))     (exists (?UNIT ?QUANT1 ?QUANT2)         (and             (instance ?UNIT TemperatureMeasure)             (holdsDuring                 (BeginFn                     (WhenFn ?COOL))                 (equal                     (MeasureFn ?OBJ ?UNIT) ?QUANT1))             (holdsDuring                 (EndFn                     (WhenFn ?COOL))                 (equal                     (MeasureFn ?OBJ ?UNIT) ?QUANT2))             (lessThan ?QUANT2 ?QUANT1))))	Merge.kif 11099-11112	If a process is an instance of cooling and an entity is a patient of the process, then there exist another entity, a real number and another real number such that the other entity is an instance of temperature measure and equal the entity the other entity(s) and the real number holds during the beginning of the time of existence of the process and equal the entity the other entity(s) and the other real number holds during the end of the time of existence of the process and the other real number is less than the real number
(=>     (and         (instance ?COVERING CoveringGUIElement)         (agent ?COVERING ?GUIE_TOP)         (patient ?COVERING ?GUIE_BOTTOM)         (instance ?GUIE_TOP GUIElement)         (instance ?GUIE_BOTTOM GUIElement))     (holdsDuring         (EndFn ?COVERING)         (or             (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)             (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP))))	ComputerInput.kif 2597-2607	If a time interval is an instance of covering GUI element and an entity_TOP is an agent of the time interval and the entity_BOTTOM is a patient of the time interval and the entity_TOP is an instance of GUI element and the entity_BOTTOM is an instance of GUI element, then the entity_BOTTOM is covered by the entity_TOP or the entity_BOTTOM is partially covered by the entity_TOP holds during the end of the time interval
(=>     (and         (instance ?COVERING PartiallyCoveringGraphicalWindow)         (agent ?COVERING ?GUIE_TOP)         (patient ?COVERING ?GUIE_BOTTOM)         (instance ?GUIE_TOP GUIElement)         (instance ?GUIE_BOTTOM GUIElement))     (holdsDuring         (EndFn ?COVERING)         (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)))	ComputerInput.kif 2609-2617	If a time interval is an instance of partially covering graphical window and an entity_TOP is an agent of the time interval and the entity_BOTTOM is a patient of the time interval and the entity_TOP is an instance of GUI element and the entity_BOTTOM is an instance of GUI element, then the entity_BOTTOM is partially covered by the entity_TOP holds during the end of the time interval
(=>     (and         (instance ?D Decelerating)         (agent ?D ?A))     (exists (?L1 ?L2 ?T1 ?T2 ?U1 ?U2)         (and             (holdsDuring                 (BeginFn                     (WhenFn ?D))                 (measure ?A                     (SpeedFn                         (MeasureFn ?L1 ?U1)                         (MeasureFn ?T1 ?U2))))             (holdsDuring                 (EndFn                     (WhenFn ?D))                 (measure ?A                     (SpeedFn                         (MeasureFn ?L2 ?U1)                         (MeasureFn ?T2 ?U2))))             (or                 (greaterThan ?L1 ?L2)                 (greaterThan ?T1 ?T2)))))	Mid-level-ontology.kif 18558-18578	If a process is an instance of decelerating and an agent is an agent of the process, then there exist a real number, another real number,, , a third real number,, , a fourth real number,, , an entity and another entity such that the measure of the agent is the real number the entity(s) per the third real number the other entity(s) holds during the beginning of the time of existence of the process and the measure of the agent is the other real number the entity(s) per the fourth real number the other entity(s) holds during the end of the time of existence of the process and the real number is greater than the other real number or the third real number is greater than the fourth real number
(=>     (and         (instance ?D Dismounting)         (agent ?D ?A)         (patient ?D ?O))     (and         (holdsDuring             (BeginFn                 (WhenFn ?D))             (orientation ?A ?O On))         (holdsDuring             (EndFn                 (WhenFn ?D))             (not                 (orientation ?A ?O On)))))	Mid-level-ontology.kif 21590-21602	If a process is an instance of dismounting and an agent is an agent of the process and an entity is a patient of the process, then the agent is on to the entity holds during the beginning of the time of existence of the process and the agent is not on to the entity holds during the end of the time of existence of the process
(=>     (and         (instance ?DEPOSITION Deposition)         (patient ?DEPOSITION ?OBJ))     (exists (?PART)         (and             (part ?PART ?OBJ)             (holdsDuring                 (BeginFn                     (WhenFn ?DEPOSITION))                 (attribute ?PART Gas))             (holdsDuring                 (EndFn                     (WhenFn ?DEPOSITION))                 (attribute ?PART Solid))             (not                 (holdsDuring                     (WhenFn ?DEPOSITION)                     (attribute ?PART Liquid))))))	Geography.kif 7334-7351	If a process is an instance of deposition and an object is a patient of the process, then there exists another object such that the other object is a part of the object and gas is an attribute of the other object holds during the beginning of the time of existence of the process and solid is an attribute of the other object holds during the end of the time of existence of the process and liquid is an attribute of the other object doesn't hold during the time of existence of the process
(=>     (and         (instance ?DESERTIFICATION Desertification)         (eventLocated ?DESERTIFICATION ?AREA))     (exists (?A1 ?A2)         (and             (instance ?A1 ArableLand)             (instance ?A2 Desert)             (holdsDuring                 (BeginFn                     (WhenFn ?DESERTIFICATION))                 (overlapsSpatially ?AREA ?A1))             (holdsDuring                 (EndFn                     (WhenFn ?DESERTIFICATION))                 (overlapsSpatially ?AREA ?A2)))))	Weather.kif 3321-3334	If a process is an instance of desertification and the process is located at an object, then there exist an entity and another entity such that the entity is an instance of arable land and the other entity is an instance of desert and the object and the entity overlapsSpatially holds during the beginning of the time of existence of the process and the object and the other entity overlapsSpatially holds during the end of the time of existence of the process
(=>     (and         (instance ?DETACH Detaching)         (patient ?DETACH ?OBJ1)         (patient ?DETACH ?OBJ2))     (and         (holdsDuring             (BeginFn                 (WhenFn ?DETACH))             (connected ?OBJ1 ?OBJ2))         (holdsDuring             (EndFn                 (WhenFn ?DETACH))             (not                 (connected ?OBJ1 ?OBJ2)))))	Merge.kif 12560-12567	If a process is an instance of detaching and an entity is a patient of the process and another entity is a patient of the process, then the entity is connected to the other entity holds during the beginning of the time of existence of the process and the entity is not connected to the other entity holds during the end of the time of existence of the process
(=>     (and         (instance ?DRESS Dressing)         (agent ?DRESS ?AGENT)         (patient ?DRESS ?CLOTHING))     (and         (instance ?CLOTHING Clothing)         (holdsDuring             (BeginFn                 (WhenFn ?DRESS))             (not                 (wears ?AGENT ?CLOTHING)))         (holdsDuring             (EndFn                 (WhenFn ?DRESS))             (wears ?AGENT ?CLOTHING))))	Mid-level-ontology.kif 6440-6455	If a process is an instance of dressing and an agent is an agent of the process and an entity is a patient of the process, then the entity is an instance of clothing and the agent doesn't wear the entity holds during the beginning of the time of existence of the process and the agent wears the entity holds during the end of the time of existence of the process
(=>     (and         (instance ?DRILL Drilling)         (patient ?DRILL ?OBJ))     (exists (?HOLE)         (and             (holdsDuring                 (BeginFn                     (WhenFn ?DRILL))                 (not                     (hole ?HOLE ?OBJ)))             (holdsDuring                 (EndFn                     (WhenFn ?DRILL))                 (hole ?HOLE ?OBJ)))))	Mid-level-ontology.kif 19670-19677	If a process is an instance of drilling and an entity is a patient of the process, then there exists another entity such that the other entity is not a hole in the entity holds during the beginning of the time of existence of the process and the other entity is a hole in the entity holds during the end of the time of existence of the process
(=>     (and         (instance ?DRY Drying)         (patient ?DRY ?OBJ))     (holdsDuring         (EndFn             (WhenFn ?DRY))         (attribute ?OBJ Dry)))	Merge.kif 12931-12936	If a process is an instance of drying and an entity is a patient of the process, then dry is an attribute of the entity holds during the end of the time of existence of the process
(=>     (and         (instance ?EVAP Evaporating)         (boilingPoint ?CLASS             (MeasureFn ?BOILVAL ?MEAS))         (instance ?OBJ ?CLASS)         (measure ?OBJ             (MeasureFn ?VAL ?MEAS))         (instance ?MEAS UnitOfTemperature)         (patient ?EVAP ?OBJ))     (exists (?PART)         (and             (part ?PART ?OBJ)             (greaterThan ?BOILVAL ?VAL)             (holdsDuring                 (BeginFn                     (WhenFn ?EVAP))                 (attribute ?PART Liquid))             (holdsDuring                 (EndFn                     (WhenFn ?EVAP))                 (attribute ?PART Gas)))))	Merge.kif 14106-14119	If a process is an instance of evaporating and a real number an unit of measure(s) is a boiling point of a kind of pure substance and an object is an instance of a kind of pure substance and the measure of the object is another real number the unit of measure(s) and the unit of measure is an instance of unit of temperature and the object is a patient of the process, then there exists another object such that the other object is a part of the object and the real number is greater than the other real number and liquid is an attribute of the other object holds during the beginning of the time of existence of the process and gas is an attribute of the other object holds during the end of the time of existence of the process
(=>     (and         (instance ?EXPORT Exporting)         (patient ?EXPORT ?ITEM)         (instance ?AREA GeopoliticalArea)         (destination ?EXPORT ?AREA))     (holdsDuring         (EndFn             (WhenFn ?EXPORT))         (located ?ITEM ?AREA)))	Economy.kif 2687-2694	If a process is an instance of exporting and an entity is a patient of the process and another entity is an instance of geopolitical area and the process ends up at the other entity, then the entity is located at the other entity holds during the end of the time of existence of the process
(=>     (and         (instance ?EXPORT Exporting)         (patient ?EXPORT ?ITEM)         (instance ?AREA GeopoliticalArea)         (holdsDuring             (BeginFn                 (WhenFn ?EXPORT))             (located ?ITEM ?AREA)))     (holdsDuring         (EndFn             (WhenFn ?EXPORT))         (not             (located ?ITEM ?AREA))))	Economy.kif 2661-2670	If a process is an instance of exporting and an entity is a patient of the process and another entity is an instance of geopolitical area and the entity is located at the other entity holds during the beginning of the time of existence of the process, then the entity is not located at the other entity holds during the end of the time of existence of the process
(=>     (and         (instance ?EXPORT Exporting)         (patient ?EXPORT ?ITEM)         (instance ?AREA1 GeopoliticalArea)         (holdsDuring             (BeginFn                 (WhenFn ?EXPORT))             (located ?ITEM ?AREA1)))     (exists (?AREA2)         (and             (instance ?AREA2 GeopoliticalArea)             (not                 (geopoliticalSubdivision ?AREA1 ?AREA2))             (not                 (geopoliticalSubdivision ?AREA2 ?AREA1))             (holdsDuring                 (EndFn                     (WhenFn ?EXPORT))                 (located ?ITEM ?AREA2)))))	Economy.kif 2672-2685	If a process is an instance of exporting and an entity is a patient of the process and a geopolitical area is an instance of geopolitical area and the entity is located at the geopolitical area holds during the beginning of the time of existence of the process, then there exists another geopolitical area such that the other geopolitical area is an instance of geopolitical area and the geopolitical area is not a geopolitical part of the other geopolitical area and the other geopolitical area is not a geopolitical part of the geopolitical area and the entity is located at the other geopolitical area holds during the end of the time of existence of the process
(=>     (and         (instance ?F Flooding)         (eventLocated ?F ?P))     (exists (?L1 ?L2 ?U)         (and             (instance ?U UnitOfLength)             (holdsDuring                 (BeginFn                     (WhenFn ?F))                 (waterDepth ?P                     (MeasureFn ?L1 ?U)))             (holdsDuring                 (EndFn                     (WhenFn ?F))                 (waterDepth ?P                     (MeasureFn ?L2 ?U)))             (greaterThan ?L2 ?L1))))	Mid-level-ontology.kif 19136-19151	If a process is an instance of flooding and the process is located at an object, then there exist a real number, another real number and an entity such that the entity is an instance of unit of length and the real number the entity(s) is a water depth of the object holds during the beginning of the time of existence of the process and the other real number the entity(s) is a water depth of the object holds during the end of the time of existence of the process and the other real number is greater than the real number
(=>     (and         (instance ?F FourStrokeCompression)         (instance ?C EngineCylinder)         (instance ?I InternalCombustionChamber)         (equal ?C             (HoleHostFn ?I))         (eventLocated ?F ?C))     (holdsDuring         (EndFn             (WhenFn ?F))         (attribute ?I Pressurized)))	Cars.kif 191-200	If a process is an instance of four stroke compression and an object is an instance of engine cylinder and a hole is an instance of internal combustion chamber and equal the object and the host of the hole the hole and the process is located at the object, then pressurized is an attribute of the hole holds during the end of the time of existence of the process
(=>     (and         (instance ?FIRE TerminatingEmployment)         (instance ?ORG Organization)         (agent ?FIRE ?ORG)         (patient ?FIRE ?PERSON))     (and         (holdsDuring             (BeginFn                 (WhenFn ?FIRE))             (employs ?ORG ?PERSON))         (holdsDuring             (EndFn                 (WhenFn ?FIRE))             (not                 (employs ?ORG ?PERSON)))))	Merge.kif 10878-10886	If a process is an instance of terminating employment and an agent is an instance of organization and the agent is an agent of the process and an entity is a patient of the process, then the agent employs the entity holds during the beginning of the time of existence of the process and the agent doesn't employ the entity holds during the end of the time of existence of the process
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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