(=>     (and         (instance ?BOIL Boiling)         (patient ?BOIL ?OBJ))     (exists (?PART)         (and             (part ?PART ?OBJ)             (holdsDuring                 (BeginFn                     (WhenFn ?BOIL))                 (attribute ?PART Liquid))             (holdsDuring                 (EndFn                     (WhenFn ?BOIL))                 (attribute ?PART Gas)))))	Merge.kif 13955-13963	If a process is an instance of boiling 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 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 ?C CausingHappiness)         (patient ?C ?P))     (and         (holdsDuring             (BeginFn                 (WhenFn ?C))             (not                 (attribute ?P Happiness)))         (holdsDuring             (EndFn                 (WhenFn ?C))             (attribute ?P Happiness))))	Mid-level-ontology.kif 23767-23778	If a process is an instance of causing happiness and an entity is a patient of the process, then happiness is not an attribute of the entity holds during the beginning of the time of existence of the process and happiness is an attribute of the entity holds during the end of the time of existence of the process
(=>     (and         (instance ?C CausingUnhappiness)         (patient ?C ?P))     (and         (holdsDuring             (BeginFn                 (WhenFn ?C))             (not                 (attribute ?P Unhappiness)))         (holdsDuring             (EndFn                 (WhenFn ?C))             (attribute ?P Unhappiness))))	Mid-level-ontology.kif 23788-23799	If a process is an instance of causing unhappiness and an entity is a patient of the process, then unhappiness is not an attribute of the entity holds during the beginning of the time of existence of the process and unhappiness is an attribute of the entity holds during the end of the time of existence of the process
(=>     (and         (instance ?C ChurningButter)         (instance ?E Emulsion)         (patient ?C ?E))     (exists (?M ?B)         (and             (holdsDuring                 (BeginFn                     (WhenFn ?C))                 (and                     (equal ?E ?M)                     (instance ?M Milk)))             (holdsDuring                 (EndFn                     (WhenFn ?C))                 (and                     (equal ?E ?B)                     (instance ?B Butter))))))	Food.kif 3076-3094	If a process is an instance of churning butter and an entity is an instance of emulsion and the entity is a patient of the process, then there exist another entity and a third entity such that the entity is equal to the other entity and the other entity is an instance of milk holds during the beginning of the time of existence of the process and the entity is equal to the third entity and the third entity is an instance of butter holds during the end of the time of existence of the process
(=>     (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 3226-3247	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 the real number is equal to the entity holds during the beginning of the time of existence of the other process and the real number is equal to the other entity holds during the end of the time of existence of the other 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 11678-11688	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 12621-12632	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 12658-12672	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 14001-14009	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 10983-10996	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 the entity the other entity(s) is equal to the real number holds during the beginning of the time of existence of the process and the entity the other entity(s) is equal to 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 ?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 17170-17190	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 20002-20014	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 6997-7014	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 2488-2501	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 12430-12437	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 5502-5517	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 18098-18105	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 ?EV Evacuation)         (origin ?EV ?OR)         (agent ?EV ?A))     (exists (?P)         (and             (instance ?P Process)             (geographicSubregion ?OR                 (WhereFn ?P                     (BeginFn                         (WhenFn ?EV))))             (causes ?P ?EV)             (believes ?A                 (attribute ?P Dangerous)))))	MilitaryProcesses.kif 2516-2530	If a process is an instance of evacuating and the process originates at a geographic area and a cognitive agent is an agent of the process, then there exists another process such that the other process is an instance of process and the geographic area is a geographic subregion of the place where the other process was at the beginning of the time of existence of the process and the other process causes the process and the cognitive agent believes dangerous is an attribute of the other 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 13975-13988	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)         (origin ?EXPORT ?AREA))     (holdsDuring         (BeginFn             (WhenFn ?EXPORT))         (located ?ITEM ?AREA)))	Economy.kif 2412-2419	If a process is an instance of exporting and an entity is a patient of the process and an object is an instance of geopolitical area and the process originates at the object, then the entity is located at the object holds during the beginning 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 17584-17599	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 ?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 10762-10770	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
(=>     (and         (instance ?FLYING Flying)         (patient ?FLYING ?ALM)         (instance ?ALM AirLaunchMissile))     (exists (?REGION)         (and             (instance ?REGION AtmosphericRegion)             (holdsDuring                 (BeginFn                     (WhenFn ?FLYING))                 (located ?ALM ?REGION)))))	MilitaryDevices.kif 944-955	If a process is an instance of flying and an entity is a patient of the process and the entity is an instance of air launch missile, then there exists another entity such that the other entity is an instance of atmospheric region and the entity is located at the other entity holds during the beginning of the time of existence of the process
(=>     (and         (instance ?FREEZE Freezing)         (patient ?FREEZE ?OBJ))     (exists (?PART)         (and             (part ?PART ?OBJ)             (holdsDuring                 (BeginFn                     (WhenFn ?FREEZE))                 (attribute ?PART Liquid))             (holdsDuring                 (EndFn                     (WhenFn ?FREEZE))                 (attribute ?PART Solid)))))	Merge.kif 14022-14030	If a process is an instance of freezing 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 liquid 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
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