consequent

! [V__FOOD,V__ACT] : ((s__instance(V__FOOD,s__Object) =>      ((s__instance(V__ACT,s__Drinking) &          s__resource(V__ACT,V__FOOD))      =>      s__attribute(V__FOOD,s__Liquid))) )	Merge.kif 10523-10527	If X is an instance of drinking and Y is a resource for X, then liquid is an attribute of Y
! [V__OBJ,V__MOTION] : ((s__instance(V__OBJ,s__Object) =>      ((s__instance(V__MOTION,s__LiquidMotion) &          s__patient(V__MOTION,V__OBJ))      =>      s__attribute(V__OBJ,s__Liquid))) )	Merge.kif 11478-11482	If X is an instance of liquid motion and Y is a patient of X, then liquid is an attribute of Y
! [V__INJECT] : ((s__instance(V__INJECT,s__Injecting) =>      (? [V__SUBSTANCE,V__ANIMAL] :        ((s__patient(V__INJECT,V__SUBSTANCE)          &          s__instance(V__SUBSTANCE,s__BiologicallyActiveSubstance) &          s__attribute(V__SUBSTANCE,s__Liquid) &          s__destination(V__INJECT,V__ANIMAL)        &        s__instance(V__ANIMAL,s__Animal))))) )	Merge.kif 11714-11722	If X is an instance of injecting, then there exist Y, Z such that Y is a patient of X, Y is an instance of biologically active substance, liquid is an attribute of Y, X ends up at Z, and Z is an instance of animal
! [V__WET] : ((s__instance(V__WET,s__Wetting) =>      (? [V__OBJ] :        ((s__instance(V__OBJ,s__Object) &            (s__attribute(V__OBJ,s__Liquid) &              s__patient(V__WET,V__OBJ)))))) )	Merge.kif 13056-13061	If X is an instance of wetting, then there exists Y such that liquid is an attribute of Y and Y is a patient of X
! [V__X,V__Y,V__BOIL,V__MELT,V__TEMP] : (((s__instance(V__X,s__Object) &        s__instance(V__Y,s__Class) &        s__subclass(V__Y,s__PureSubstance) &        s__instance(V__BOIL,s__RealNumber) &        s__instance(V__MELT,s__RealNumber) &        s__instance(V__TEMP,s__RealNumber))      =>      ((s__instance(V__X,V__Y)        &        s__subclass(V__Y,s__PureSubstance) &        s__boilingPoint(V__Y,s__MeasureFn(V__BOIL,s__KelvinDegree))      &      s__meltingPoint(V__Y,s__MeasureFn(V__MELT,s__KelvinDegree))    &    s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree)) & s__greaterThan(V__TEMP,V__MELT) & s__lessThan(V__TEMP,V__BOIL)) => s__attribute(V__X,s__Liquid))) )	Merge.kif 14118-14127	If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) Z kelvin degree(s) is a boiling point of Y (4) W kelvin degree(s) is a melting point of Y (5) the measure of X is V kelvin degree(s) (6) V is greater than W (7) V is less than Z, then liquid is an attribute of X
! [V__MEASURE : $i,V__SUBSTANCE : $i,V__TEMP1 : $real,V__TEMP2 : $real,V__TEMP3 : $real,V__TIME : $i,V__TYPE : $i] : (((s__instance(V__SUBSTANCE, V__TYPE) & s__boilingPoint(V__TYPE, s__MeasureFn(V__TEMP1, V__MEASURE)) & s__meltingPoint(V__TYPE, s__MeasureFn(V__TEMP2, V__MEASURE)) & s__instance(V__MEASURE, s__UnitOfTemperature) & s__holdsDuring(V__TIME, s__measure(V__SUBSTANCE, s__MeasureFn(V__TEMP3, V__MEASURE))) & ($greater(V__TEMP3,V__TEMP2)) & ($less(V__TEMP3,V__TEMP1))) => (s__holdsDuring(V__TIME, s__attribute(V__SUBSTANCE, s__Liquid)) | ( ? [V__MELT:$i] : ((s__overlapsTemporally(s__WhenFn(V__MELT), V__TIME) & s__instance(V__MELT, s__Melting) & s__patient(V__MELT, V__SUBSTANCE)))))))	Merge.kif 14172-14187	If All of the following hold: (1) X is an instance of Y (2) Z W(s) is a boiling point of Y (3) V W(s) is a melting point of Y (4) W is an instance of unit of temperature (5) the measure of X is U W(s) holds during T (6) U is greater than V (7) U is less than Z, then liquid is an attribute of X holds during T or there exists S such that T overlaps the time of existence of S, S is an instance of melting, and X is a patient of S
! [V__MELT : $i,V__OBJ : $i] : (((s__instance(V__MELT, s__Melting) & s__patient(V__MELT, V__OBJ)) => ( ? [V__PART:$i] : ((s__part(V__PART, V__OBJ) & s__holdsDuring(s__BeginFn(s__WhenFn(V__MELT)), s__attribute(V__PART, s__Solid)) & s__holdsDuring(s__EndFn(s__WhenFn(V__MELT)), s__attribute(V__PART, s__Liquid)))))))	Merge.kif 14221-14229	If X is an instance of melting and Y is a patient of X, then there exists Z such that Z is a part of Y, solid is an attribute of Z holds during the beginning of the time of existence of X, and liquid is an attribute of Z holds during the end of the time of existence of X
! [V__BOIL : $i,V__OBJ : $i] : (((s__instance(V__BOIL, s__Boiling) & s__patient(V__BOIL, V__OBJ)) => ( ? [V__PART:$i] : ((s__part(V__PART, V__OBJ) & s__holdsDuring(s__BeginFn(s__WhenFn(V__BOIL)), s__attribute(V__PART, s__Liquid)) & s__holdsDuring(s__EndFn(s__WhenFn(V__BOIL)), s__attribute(V__PART, s__Gas)))))))	Merge.kif 14242-14250	If X is an instance of boiling and Y is a patient of X, then there exists Z such that Z is a part of Y, liquid is an attribute of Z holds during the beginning of the time of existence of X, and gas is an attribute of Z holds during the end of the time of existence of X
! [V__BOILVAL : $real,V__CLASS : $i,V__EVAP : $i,V__MEAS : $i,V__OBJ : $i,V__VAL : $real] : (((s__instance(V__EVAP, s__Evaporating) & s__boilingPoint(V__CLASS, s__MeasureFn(V__BOILVAL, V__MEAS)) & s__instance(V__OBJ, V__CLASS) & s__measure(V__OBJ, s__MeasureFn(V__VAL, V__MEAS)) & s__instance(V__MEAS, s__UnitOfTemperature) & s__patient(V__EVAP, V__OBJ)) => ( ? [V__PART:$i] : ((s__part(V__PART, V__OBJ) & ($greater(V__BOILVAL,V__VAL)) & s__holdsDuring(s__BeginFn(s__WhenFn(V__EVAP)), s__attribute(V__PART, s__Liquid)) & s__holdsDuring(s__EndFn(s__WhenFn(V__EVAP)), s__attribute(V__PART, s__Gas)))))))	Merge.kif 14262-14275	If All of the following hold: (1) X is an instance of evaporating (2) Y Z(s) is a boiling point of W (3) V is an instance of W (4) the measure of V is U Z(s) (5) Z is an instance of unit of temperature (6) V is a patient of X, then there exists T such that T is a part of V, Y is greater than U, liquid is an attribute of T holds during the beginning of the time of existence of X, and gas is an attribute of T holds during the end of the time of existence of X
! [V__COND : $i,V__OBJ : $i] : (((s__instance(V__COND, s__Condensing) & s__patient(V__COND, V__OBJ)) => ( ? [V__PART:$i] : ((s__part(V__PART, V__OBJ) & s__holdsDuring(s__BeginFn(s__WhenFn(V__COND)), s__attribute(V__PART, s__Gas)) & s__holdsDuring(s__EndFn(s__WhenFn(V__COND)), s__attribute(V__PART, s__Liquid)))))))	Merge.kif 14288-14296	If X is an instance of condensing and Y is a patient of X, then there exists Z such that Z is a part of Y, gas is an attribute of Z holds during the beginning of the time of existence of X, and liquid is an attribute of Z holds during the end of the time of existence of X
! [V__FREEZE : $i,V__OBJ : $i] : (((s__instance(V__FREEZE, s__Freezing) & s__patient(V__FREEZE, V__OBJ)) => ( ? [V__PART:$i] : ((s__part(V__PART, V__OBJ) & s__holdsDuring(s__BeginFn(s__WhenFn(V__FREEZE)), s__attribute(V__PART, s__Liquid)) & s__holdsDuring(s__EndFn(s__WhenFn(V__FREEZE)), s__attribute(V__PART, s__Solid)))))))	Merge.kif 14309-14317	If X is an instance of freezing and Y is a patient of X, then there exists Z such that Z is a part of Y, liquid is an attribute of Z holds during the beginning of the time of existence of X, and solid is an attribute of Z holds during the end of the time of existence of X
! [V__MIX] : ((s__instance(V__MIX,s__LiquidMixture) =>      (? [V__PART] :        ((s__instance(V__PART,s__Object) &            (s__part(V__PART,V__MIX)            &            s__attribute(V__PART,s__Liquid)))))) )	Merge.kif 15028-15033	If X is an instance of liquid mixture, then there exists Y such that Y is a part of X and liquid is an attribute of Y
! [V__OBJ] : ((s__instance(V__OBJ,s__Solution) =>      s__attribute(V__OBJ,s__Liquid))    )	Merge.kif 17917-17919	If X is an instance of solution, then liquid is an attribute of X
! [V__OBJ] : ((s__instance(V__OBJ,s__Object) =>      (s__attribute(V__OBJ,s__Dry) =>        ~((? [V__SUBOBJ] :            ((s__instance(V__SUBOBJ,s__Object) &                (s__part(V__SUBOBJ,V__OBJ)                &                s__attribute(V__SUBOBJ,s__Liquid)))))))) )	Merge.kif 18335-18341	If dry is an attribute of X, then there doesn't exist Y such that Y is a part of X and liquid is an attribute of Y
! [V__OBJ] : ((s__instance(V__OBJ,s__Object) =>      (s__attribute(V__OBJ,s__Wet) =>        (! [V__PART] :          ((s__instance(V__PART,s__Object) =>              (s__part(V__PART,V__OBJ)              =>              (? [V__SUBPART] :                ((s__instance(V__SUBPART,s__Object) &                    (s__part(V__SUBPART,V__PART)                    &                    s__attribute(V__SUBPART,s__Liquid))))))))))) )	Merge.kif 18353-18361	If wet is an attribute of X, then For all Object Y: if Y is a part of X, then there exists Z such that Z is a part of Y and liquid is an attribute of Z
! [V__AERATE] : ((s__instance(V__AERATE,s__Aerating) =>      (? [V__AIR,V__S] :        ((s__instance(V__S,s__Object) &            (s__patient(V__AERATE,V__AIR)            &            s__instance(V__AIR,s__Air) &            s__patient(V__AERATE,V__S)          &          s__attribute(V__S,s__Liquid)))))) )	Mid-level-ontology.kif 2474-2481	If X is an instance of aerating, then there exist Y, Z such that Y is a patient of X, Y is an instance of air, Z is a patient of X, and liquid is an attribute of Z
! [V__X] : ((s__instance(V__X,s__Urine) =>      s__attribute(V__X,s__Liquid))    )	Mid-level-ontology.kif 2698-2700	If X is an instance of urine, then liquid is an attribute of X
! [V__S : $i] : ((s__instance(V__S, s__Strainer) => s__hasPurpose(V__S, ( ? [V__MIX:$i, V__SUB:$i, V__LIQUID:$i, V__REMOVE:$i] : ((s__instance(V__MIX, s__Mixture) & s__instance(V__SUB, s__Substance) & s__instance(V__LIQUID, s__Substance) & s__part(V__SUB, V__MIX) & s__attribute(V__SUB, s__Solid) & s__instance(V__REMOVE, s__Removing) & s__part(V__LIQUID, V__MIX) & s__attribute(V__LIQUID, s__Liquid) & s__patient(V__REMOVE, V__SUB) & s__result(V__REMOVE, V__LIQUID) & s__instrument(V__REMOVE, V__S)))))))	Mid-level-ontology.kif 5160-5175	If X is an instance of strainer, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of mixture (3) Z is an instance of substance (4) W is an instance of substance (5) Z is a part of Y (6) solid is an attribute of Z (7) V is an instance of removing (8) W is a part of Y (9) liquid is an attribute of W (10) Z is a patient of V (11) W is a result of V (12) X is an instrument for V
! [V__C : $i] : ((s__instance(V__C, s__Colander) => s__hasPurpose(V__C, ( ? [V__MIX:$i, V__SUB:$i, V__SOLID:$i, V__REMOVE:$i] : ((s__instance(V__MIX, s__Mixture) & s__instance(V__SUB, s__Substance) & s__part(V__SUB, V__MIX) & s__attribute(V__SUB, s__Liquid) & s__instance(V__REMOVE, s__Removing) & s__patient(V__REMOVE, V__SUB) & s__instance(V__SOLID, s__Substance) & s__part(V__SOLID, V__MIX) & s__attribute(V__SOLID, s__Solid) & s__result(V__REMOVE, V__SOLID) & s__instrument(V__REMOVE, V__C)))))))	Mid-level-ontology.kif 5181-5196	If X is an instance of colander, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of mixture (3) Z is an instance of substance (4) Z is a part of Y (5) liquid is an attribute of Z (6) V is an instance of removing (7) Z is a patient of V (8) W is an instance of substance (9) W is a part of Y (10) solid is an attribute of W (11) W is a result of V (12) X is an instrument for V
! [V__BOTTLE : $i] : ((s__instance(V__BOTTLE, s__Bottle) => s__hasPurpose(V__BOTTLE, ( ? [V__STUFF:$i] : ((s__contains(V__BOTTLE, V__STUFF) & s__attribute(V__STUFF, s__Liquid)))))))	Mid-level-ontology.kif 5291-5297	If X is an instance of bottle, then X has the purpose there exists Y such that X contains Y and liquid is an attribute of Y
! [V__B] : ((s__instance(V__B,s__Bubble) =>      (? [V__S] :        ((s__instance(V__S,s__SelfConnectedObject) &            (s__surface(V__S,V__B)            &            s__attribute(V__S,s__Liquid)))))) )	Mid-level-ontology.kif 6098-6103	If X is an instance of bubble, then there exists Y such that Y is a surface of X and liquid is an attribute of Y
! [V__A,V__E] : ((s__instance(V__A,s__AutonomousAgent) =>      ((s__instance(V__E,s__Edema) &          s__experiencer(V__E,V__A))      =>      (? [V__T,V__P,V__L] :        ((s__instance(V__T,s__Transfer) &            s__instance(V__L,s__Liquid) &            s__instance(V__P,s__BodyPart) &            s__part(V__P,V__A)          &          s__destination(V__T,V__P)        &        s__moves(V__T,V__L)      &      s__subProcess(V__T,V__E)))))) )	Mid-level-ontology.kif 11409-11421	If X is an instance of swelling and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) V is an instance of liquid (4) W is an instance of body part (5) W is a part of Y (6) Z ends up at W (7) V moves during Z (8) Z is a subprocess of X
! [V__D : $i] : ((s__instance(V__D, s__Diuretic) => s__hasPurpose(V__D, ( ? [V__R:$i, V__L:$i, V__H:$i, V__LOC:$i] : ((s__instance(V__H, s__Human) & s__instance(V__R, s__Removing) & s__instance(V__L, s__Liquid) & s__experiencer(V__R, V__H) & s__moves(V__R, V__L) & s__origin(V__L, V__H) & ~(s__contains(V__H, V__LOC)) & s__destination(V__R, V__LOC)))))))	Mid-level-ontology.kif 11455-11468	If X is an instance of diuretic, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of human (3) Y is an instance of removing (4) Z is an instance of liquid (5) W experiences Y (6) Z moves during Y (7) Z originates at W (8) W doesn't contain V (9) Y ends up at V
! [V__C : $i] : ((s__instance(V__C, s__Clotting) => ( ? [V__B:$i] : ((s__instance(V__B, s__Blood) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__C)), s__attribute(V__B, s__Liquid)) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__C)), s__attribute(V__B, s__Solid)))))))	Mid-level-ontology.kif 11951-11963	If X is an instance of coagulation, then there exists Y such that Y is an instance of blood, liquid is an attribute of Y holds during immediately before the time of existence of X, and solid is an attribute of Y holds during immediately after the time of existence of X
! [V__SUBSTANCE] : ((s__instance(V__SUBSTANCE,s__LiquidBodySubstance) =>      s__attribute(V__SUBSTANCE,s__Liquid))    )	Mid-level-ontology.kif 12310-12312	If X is an instance of liquid body substance, then liquid is an attribute of X
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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners