consequent

(=>     (and         (instance ?ACT Drinking)         (resource ?ACT ?FOOD))     (attribute ?FOOD Liquid))	Merge.kif 10438-10442	If a process is an instance of drinking and an object is a resource for the process, then Liquid is an attribute of the object
(=>     (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 14108-14116	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 ?BOTTLE Bottle)         (contains ?BOTTLE ?STUFF))     (attribute ?STUFF Liquid))	Mid-level-ontology.kif 5137-5141	If a self connected object is an instance of Bottle and the self connected object contains an object, then Liquid is an attribute of the object
(=>     (and         (instance ?C Cavitating)         (instance ?P Pump)         (attribute ?P DeviceOn)         (attribute ?L1 Liquid)         (contains ?P ?L1))     (exists (?PP ?L2)         (and             (part ?PP ?P)             (hasPurpose ?PP                 (and                     (attribute ?L2 Liquid)                     (meetsSpatially ?L2 ?PP)))             (holdsDuring                 (WhenFn ?C)                 (not                     (exists (?L3)                         (and                             (attribute ?L3 Liquid)                             (meetsSpatially ?PP ?L3))))))))	Cars.kif 1748-1768	If a physical is an instance of Cavitating and a self connected object is an instance of Pump and DeviceOn is an attribute of the self connected object and Liquid is an attribute of an object and the self connected object contains the object, then there exist the self connected objectP and an entity such that the self connected objectP is a part of the self connected object and the self connected objectP has the purpose Liquid is an attribute of the entity and the entity meets the self connected objectP and there doesn't exist another entity such that Liquid is an attribute of the other entity and the self connected objectP meets the other entity holds during the time of existence of the physical
(=>     (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 14154-14162	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 ?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 8646-8663	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 ?E Edema)         (experiencer ?E ?A))     (exists (?T ?P ?L)         (and             (instance ?T Transfer)             (instance ?L Liquid)             (instance ?P BodyPart)             (part ?P ?A)             (destination ?T ?P)             (moves ?T ?L)             (subProcess ?T ?E))))	Mid-level-ontology.kif 11287-11299	If a process is an instance of Edema and an agent experiences the process, then there exist a motion, an object and another object such that the motion is an instance of transfer and the other object is an instance of Liquid and the object is an instance of body part and the object is a part of the agent and the motion ends up at the object and moves the motion and the other object and the motion is a subprocess 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 14128-14141	If a process is an instance of Evaporating and boilingPoint a kind of pure substance and a real number an unit of measure(s) 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 UnitOfTemperature 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 ?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 14175-14183	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
(=>     (and         (instance ?LD LiquidDrop)         (surface ?S ?LD))     (modalAttribute         (exists (?SS ?LL)             (and                 (instance ?LL Substance)                 (attribute ?LL Liquid)                 (not                     (equal ?LD ?LL))                 (surface ?SS ?LL)                 (meetsSpatially ?S ?SS))) Unlikely))	Geography.kif 9146-9158	If a self connected object is an instance of LiquidDrop and another self connected object is a surface of the self connected object, then the statement there exist the other self connected objectS and another entity such that the other entity is an instance of substance and Liquid is an attribute of the other entity and equal the self connected object and the other entity and the other self connected objectS is a surface of the other entity and the other self connected object meets the other self connected objectS has the modal force of Unlikely
(=>     (and         (instance ?LECS LiquidEngineCoolingSystem)         (instance ?C Cooling)         (instrument ?C ?LECS))     (exists (?L)         (and             (attribute ?L Liquid)             (objectTransferred ?C ?L))))	Cars.kif 2150-2158	If an object is an instance of LiquidEngineCoolingSystem and a transfer is an instance of cooling and the object is an instrument for the transfer, then there exists another object such that Liquid is an attribute of the other object and objectTransferred the transfer and the other object
(=>     (and         (instance ?MELT Melting)         (patient ?MELT ?OBJ))     (exists (?PART)         (and             (part ?PART ?OBJ)             (holdsDuring                 (BeginFn                     (WhenFn ?MELT))                 (attribute ?PART Solid))             (holdsDuring                 (EndFn                     (WhenFn ?MELT))                 (attribute ?PART Liquid)))))	Merge.kif 14087-14095	If a process is an instance of melting 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 Solid 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 ?MOTION LiquidMotion)         (patient ?MOTION ?OBJ))     (attribute ?OBJ Liquid))	Merge.kif 11386-11390	If a process is an instance of LiquidMotion and an object is a patient of the process, then Liquid is an attribute of the object
(=>     (and         (instance ?SUBLIMATION Sublimation)         (patient ?SUBLIMATION ?OBJ))     (exists (?PART)         (and             (part ?PART ?OBJ)             (holdsDuring                 (BeginFn                     (WhenFn ?SUBLIMATION))                 (attribute ?PART Solid))             (holdsDuring                 (EndFn                     (WhenFn ?SUBLIMATION))                 (attribute ?PART Gas))             (not                 (holdsDuring                     (WhenFn ?SUBLIMATION)                     (attribute ?PART Liquid))))))	Geography.kif 8698-8715	If a process is an instance of Sublimation 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 Solid 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 Liquid is an attribute of the other object doesn't hold during the time of existence of the process
(=>     (and         (instance ?SUBSTANCE ?TYPE)         (boilingPoint ?TYPE             (MeasureFn ?TEMP1 ?MEASURE))         (meltingPoint ?TYPE             (MeasureFn ?TEMP2 ?MEASURE))         (instance ?MEASURE UnitOfTemperature)         (holdsDuring ?TIME             (measure ?SUBSTANCE                 (MeasureFn ?TEMP3 ?MEASURE)))         (greaterThan ?TEMP3 ?TEMP2)         (lessThan ?TEMP3 ?TEMP1))     (or         (holdsDuring ?TIME             (attribute ?SUBSTANCE Liquid))         (exists (?MELT)             (and                 (overlapsTemporally                     (WhenFn ?MELT) ?TIME)                 (instance ?MELT Melting)                 (patient ?MELT ?SUBSTANCE)))))	Merge.kif 14038-14053	If an entity is an instance of a kind of pure substance and boilingPoint a kind of pure substance and a real number an unit of measure(s) and meltingPoint the kind of pure substance and another real number the unit of measure(s) and the unit of measure is an instance of UnitOfTemperature and the measure of the entity is a third real number the unit of measure(s) holds during a time interval and the third real number is greater than the other real number and the third real number is less than the real number, then Liquid is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of melting and the entity is a patient of the process
(=>     (and         (instance ?X ?Y)         (subclass ?Y PureSubstance)         (boilingPoint ?Y             (MeasureFn ?BOIL KelvinDegree))         (meltingPoint ?Y             (MeasureFn ?MELT KelvinDegree))         (measure ?X             (MeasureFn ?TEMP KelvinDegree))         (greaterThan ?TEMP ?MELT)         (lessThan ?TEMP ?BOIL))     (attribute ?X Liquid))	Merge.kif 13984-13993	If an object is an instance of a kind of pure substance and a kind of pure substance is a subclass of pure substance and boilingPoint the kind of pure substance and a real number KelvinDegree(s) and meltingPoint the kind of pure substance and another real number KelvinDegree(s) and the measure of the object is a third real number KelvinDegree(s) and the third real number is greater than the other real number and the third real number is less than the real number, then Liquid is an attribute of the object
(=>     (attribute ?G FlammableLiquid)     (and         (instance ?G Substance)         (attribute ?G Liquid)         (attribute ?G Flammable)))	Transportation.kif 4152-4157	If FlammableLiquid is an attribute of an object, then the object is an instance of substance and Liquid is an attribute of the object and Flammable is an attribute of the object
(=>     (attribute ?OBJ Dry)     (not         (exists (?SUBOBJ)             (and                 (part ?SUBOBJ ?OBJ)                 (attribute ?SUBOBJ Liquid)))))	Merge.kif 18203-18209	If Dry is an attribute of an object, then there doesn't exist another object such that the other object is a part of the object and Liquid is an attribute of the other object
(=>     (attribute ?OBJ Wet)     (forall (?PART)         (=>             (part ?PART ?OBJ)             (exists (?SUBPART)                 (and                     (part ?SUBPART ?PART)                     (attribute ?SUBPART Liquid))))))	Merge.kif 18221-18229	If Wet is an attribute of an object, then for all another object if the other object is a part of the object, then there exists a third object such that the third object is a part of the other object and Liquid is an attribute of the third object
(=>     (instance ?AERATE Aerating)     (exists (?AIR ?S)         (and             (patient ?AERATE ?AIR)             (instance ?AIR Air)             (patient ?AERATE ?S)             (attribute ?S Liquid))))	Mid-level-ontology.kif 2362-2369	If a process is an instance of Aerating, then there exist an entity and an object such that the entity is a patient of the process and the entity is an instance of Air and the object is a patient of the process and Liquid is an attribute of the object
(=>     (instance ?B Bubble)     (exists (?S)         (and             (surface ?S ?B)             (attribute ?S Liquid))))	Mid-level-ontology.kif 5935-5940	If a self connected object is an instance of Bubble, then there exists another self connected object such that the other self connected object is a surface of the self connected object and Liquid is an attribute of the other self connected object
(=>     (instance ?BEV Beverage)     (attribute ?BEV Liquid))	Food.kif 395-397	If an object is an instance of beverage, then Liquid is an attribute of the object
(=>     (instance ?C Clotting)     (exists (?B)         (and             (instance ?B Blood)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?C))                 (attribute ?B Liquid))             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?C))                 (attribute ?B Solid)))))	Mid-level-ontology.kif 11823-11835	If a physical is an instance of Clotting, then there exists an entity such that the entity is an instance of blood and Liquid is an attribute of the entity holds during immediately before the time of existence of the physical and Solid is an attribute of the entity holds during immediately after the time of existence of the physical
(=>     (instance ?C Colander)     (hasPurpose ?C         (exists (?MIX ?SUB ?SOLID ?REMOVE)             (and                 (instance ?MIX Mixture)                 (instance ?SUB Substance)                 (part ?SUB ?MIX)                 (attribute ?SUB Liquid)                 (instance ?REMOVE Removing)                 (patient ?REMOVE ?SUB)                 (instance ?SOLID Substance)                 (part ?SOLID ?MIX)                 (attribute ?SOLID Solid)                 (result ?REMOVE ?SOLID)                 (instrument ?REMOVE ?C)))))	Mid-level-ontology.kif 5015-5030	If a physical is an instance of Colander, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of mixture and the other entity is an instance of substance and the other entity is a part of the entity and Liquid is an attribute of the other entity and the fourth entity is an instance of removing and the other entity is a patient of the fourth entity and the third entity is an instance of substance and the third entity is a part of the entity and Solid is an attribute of the third entity and the third entity is a result of the fourth entity and the physical is an instrument for the fourth entity
(=>     (instance ?D Diluting)     (exists (?S)         (and             (patient ?D ?S)             (instance ?S Solution)             (attribute ?S Liquid))))	Mid-level-ontology.kif 21178-21184	If a process is an instance of Diluting, then there exists an object such that the object is a patient of the process and the object is an instance of solution and Liquid is an attribute of the object
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