consequent

! [V__G,V__M,V__PN,V__PA,V__N,V__AN,V__AA] : (((s__instance(V__G,s__Graph) &        s__instance(V__M,s__UnitOfMeasure) &        s__instance(V__PN,s__Physical) &        s__instance(V__PA,s__Physical) &        s__instance(V__N,s__RealNumber))      =>      ((s__graphMeasure(V__G,V__M)        &        s__instance(V__AN,s__GraphNode) &        s__graphPart(V__AN,V__G)      &      s__graphPart(V__AA,V__G)    &    s__instance(V__AA,s__GraphArc) &    s__abstractCounterpart(V__AN,V__PN) & s__abstractCounterpart(V__AA,V__PA) & s__arcWeight(V__AA,V__N)) => s__measure(V__PA,s__MeasureFn(V__N,V__M)))) )	Merge.kif 6284-6295	If All of the following hold: (1) X is the unit in Y (2) Z is an instance of graph node (3) Z is a part of Y (4) W is a part of Y (5) W is an instance of graph arc (6) the abstract counterpart of V is Z (7) the abstract counterpart of U is W (8) the value of W is T, then the measure of U is T X(s)
! [V__OBJECT,V__DISTANCE,V__TIME,V__REF,V__DIRECTION] : (((s__instance(V__OBJECT,s__Physical) &        s__instance(V__DISTANCE,s__LengthMeasure) &        s__instance(V__TIME,s__TimeDuration) &        s__instance(V__REF,s__Region) &        s__instance(V__DIRECTION,s__DirectionalAttribute))      =>      (s__measure(V__OBJECT,s__VelocityFn(V__DISTANCE,V__TIME,V__REF,V__DIRECTION))    =>    s__measure(V__OBJECT,s__SpeedFn(V__DISTANCE,V__TIME)))) )	Merge.kif 6798-6800	If the measure of X is Y per Z in W in the direction V, then the measure of X is Y per Z
! [V__OBJ1,V__OBJ2] : (((s__instance(V__OBJ1,s__Object) &        s__instance(V__OBJ2,s__Object))      =>      ((s__larger(V__OBJ1,V__OBJ2)        =>        (! [V__QUANT1,V__QUANT2,V__UNIT] :          (((s__instance(V__QUANT1,s__RealNumber) &                s__instance(V__QUANT2,s__RealNumber))              =>              ((s__measure(V__OBJ1,s__MeasureFn(V__QUANT1,V__UNIT))              &              s__measure(V__OBJ2,s__MeasureFn(V__QUANT2,V__UNIT))          &          s__instance(V__UNIT,s__UnitOfLength))        =>        s__greaterThan(V__QUANT1,V__QUANT2)))))) & ((! [V__QUANT1,V__QUANT2,V__UNIT] : (((s__instance(V__QUANT1,s__RealNumber) &      s__instance(V__QUANT2,s__RealNumber))    =>    ((s__measure(V__OBJ1,s__MeasureFn(V__QUANT1,V__UNIT))    &    s__measure(V__OBJ2,s__MeasureFn(V__QUANT2,V__UNIT)) & s__instance(V__UNIT,s__UnitOfLength)) => s__greaterThan(V__QUANT1,V__QUANT2))))) => s__larger(V__OBJ1,V__OBJ2)))) )	Merge.kif 7937-7945	X is larger than Y if and only if Z, W and V the measure of X is Z V(s) and the measure of Y is W V(s) and V is an instance of unit of lengthZ is greater than W
! [V__D : $i,V__OBJ : $i] : (((s__instance(V__D, s__QuantityChange) & s__patient(V__D, V__OBJ)) => ( ? [V__N1:$real, V__N2:$real, V__T1:$i, V__T2:$i, V__U:$i] : ((s__earlier(V__T1, V__T2) & s__holdsDuring(V__T1, s__measure(V__OBJ, s__MeasureFn(V__N1, V__U))) & s__holdsDuring(V__T2, s__measure(V__OBJ, s__MeasureFn(V__N2, V__U))) & ~(V__N1 = V__N2))))))	Merge.kif 11130-11143	If X is an instance of quantity change and Y is a patient of X, then there exist Z, W,, , V,, , U and T such that V happens earlier than U and the measure of Y is Z T(s) holds during V and the measure of Y is W T(s) holds during U and equal Z and W
! [V__D : $i,V__OBJ : $i] : (((s__instance(V__D, s__Increasing) & s__patient(V__D, V__OBJ)) => ( ? [V__N1:$real, V__N2:$real, V__T1:$i, V__T2:$i, V__U:$i] : ((s__earlier(V__T1, V__T2) & s__holdsDuring(V__T1, s__measure(V__OBJ, s__MeasureFn(V__N1, V__U))) & s__holdsDuring(V__T2, s__measure(V__OBJ, s__MeasureFn(V__N2, V__U))) & ($greater(V__N1,V__N2)))))))	Merge.kif 11151-11164	If X is an instance of increasing and Y is a patient of X, then there exist Z, W,, , V,, , U and T such that V happens earlier than U and the measure of Y is Z T(s) holds during V and the measure of Y is W T(s) holds during U and Z is greater than W
! [V__D : $i,V__OBJ : $i] : (((s__instance(V__D, s__Decreasing) & s__patient(V__D, V__OBJ)) => ( ? [V__N1:$real, V__N2:$real, V__T1:$i, V__T2:$i, V__U:$i] : ((s__earlier(V__T1, V__T2) & s__holdsDuring(V__T1, s__measure(V__OBJ, s__MeasureFn(V__N1, V__U))) & s__holdsDuring(V__T2, s__measure(V__OBJ, s__MeasureFn(V__N2, V__U))) & ($less(V__N1,V__N2)))))))	Merge.kif 11193-11206	If X is an instance of decreasing and Y is a patient of X, then there exist Z, W,, , V,, , U and T such that V happens earlier than U and the measure of Y is Z T(s) holds during V and the measure of Y is W T(s) holds during U and Z is less than W
! [V__AGENT : $i,V__MEAS : $i,V__OBJ : $i] : (((s__instance(V__MEAS, s__Measuring) & s__agent(V__MEAS, V__AGENT) & s__patient(V__MEAS, V__OBJ)) => ( ? [V__QUANT:$real, V__UNIT:$i] : (s__holdsDuring(s__EndFn(s__WhenFn(V__MEAS)), s__knows(V__AGENT, s__measure(V__OBJ, s__MeasureFn(V__QUANT, V__UNIT))))))))	Merge.kif 12408-12415	If X is an instance of measuring, Y is an agent of X, and Z is a patient of X, then there exist W and V such that Y knows the measure of Z is W V(s) holds during the end of the time of existence of X
! [V__CLOUD] : ((s__instance(V__CLOUD,s__WaterCloud) =>      (! [V__PART] :        ((s__instance(V__PART,s__Object) =>            ((s__part(V__PART,V__CLOUD)              &              ~(s__instance(V__PART,s__Water)))            =>            (? [V__WATER,V__MEASURE1,V__MEASURE2,V__U] :              ((s__instance(V__MEASURE1,s__RealNumber) &                  s__instance(V__MEASURE2,s__RealNumber) &                  s__instance(V__U,s__UnitOfMeasure) &                  (s__instance(V__WATER,s__Water) &                    s__part(V__WATER,V__CLOUD)                  &                  s__measure(V__WATER,s__MeasureFn(V__MEASURE1,V__U))              &              s__measure(V__PART,s__MeasureFn(V__MEASURE2,V__U))          &          s__greaterThan(V__MEASURE1,V__MEASURE2)))))))))) )	Merge.kif 15092-15105	If X is an instance of water cloud, then For all Object Y: if Y is a part of X and Y is not an instance of water, then there exist Z, W,, , V and U such that Z is an instance of water and Z is a part of X and the measure of Z is W U(s) and the measure of Y is V U(s) and W is greater than V
! [V__H] : (((s__instance(V__H,s__Human) &        s__attribute(V__H,s__Fever))      =>      (? [V__N] :        ((s__instance(V__N,s__RealNumber) &            (s__measure(V__H,s__MeasureFn(V__N,s__FahrenheitDegree))            &            s__greaterThan(V__N,n__98_6)))))) )	Mid-level-ontology.kif 7280-7288	If X is an instance of human and a fever is an attribute of X, then there exists Y such that the measure of X is Y fahrenheit degree(s) and Y is greater than 98.6
! [V__CLASS : $i,V__X : $real] : ((s__MeasureFn(V__X, s__PoundForce) = s__JankaHardnessFn(V__CLASS) => s__modalAttribute(( ? [V__T:$i, V__W:$i, V__P:$i, V__B:$i, V__H:$i, V__S:$i] : ((s__instance(V__T, V__CLASS) & s__part(V__W, V__T) & s__instance(V__W, s__Wood) & s__instance(V__P, s__Pushing) & s__destination(V__P, V__W) & s__instance(V__B, s__Ball) & s__material(V__B, s__Steel) & s__patient(V__P, V__B) & s__sphereRadius(V__B, s__MeasureFn(5.64, s__Millimeter)) & s__result(V__P, V__H) & s__instance(V__H, s__HoleRegion) & s__part(V__H, V__W) & s__surface(V__S, V__W) & s__distance(V__S, V__H, s__MeasureFn(5.64, s__Millimeter)) & s__measure(V__P, s__MeasureFn(V__X, s__PoundForce))))), s__Likely)))	Mid-level-ontology.kif 10569-10592	If equal X pound force(s) and The Janka Hardness of Y is, then the statement there exist Z, W,, , V,, , U,, , T and S such that Z is an instance of Y and W is a part of Z and W is an instance of wood and V is an instance of pushing and V ends up at W and U is an instance of ball and steel is made of U and U is a patient of V and the radius of U is 5.64 millimeter(s) and T is a result of V and T is an instance of hole and T is a part of W and S is a surface of W and the distance between S and T is 5.64 millimeter(s) and the measure of V is X pound force(s) has the modal force of likely
! [V__A : $real,V__CLASS : $i,V__F : $real] : ((s__MeasureFn(s__PerFn(s__MeasureFn(V__F, s__KilogramForce), s__MeasureFn(V__A, s__SquareMillimeter)), s__VickersPyramidNumber) = s__VickersHardnessFn(V__CLASS) => s__modalAttribute(( ? [V__SUB:$i, V__P:$i, V__D:$i, V__H:$i, V__S:$i] : ((s__instance(V__SUB, V__CLASS) & s__instance(V__P, s__Pushing) & s__destination(V__P, V__SUB) & s__instance(V__D, s__Diamond) & s__shape(V__D, s__SquarePyramid) & s__patient(V__P, V__D) & s__result(V__P, V__H) & s__instance(V__H, s__HoleRegion) & s__part(V__H, V__SUB) & s__surface(V__S, V__H) & s__totalArea(V__S, s__MeasureFn(V__A, s__SquareMillimeter)) & s__measure(V__P, s__MeasureFn(V__F, s__KilogramForce))))), s__Likely)))	Mid-level-ontology.kif 10641-10662	If equal the per of X kilogram force(s) and Y square millimeter(s) Vickers pyramid number(s) and The Vickers Hardness of Z is, then the statement there exist W, V,, , U,, , T and S such that W is an instance of Z and V is an instance of pushing and V ends up at W and U is an instance of diamond and U is square pyramid and U is a patient of V and T is a result of V and T is an instance of hole and T is a part of W and S is a surface of T and Y square millimeter(s) is a total area of S and the measure of V is X kilogram force(s) has the modal force of likely
! [V__MOST,V__WHOLE] : (((s__instance(V__MOST,s__Object) &        s__instance(V__WHOLE,s__Object))      =>      (s__most(V__MOST,V__WHOLE)      =>      (? [V__HALF,V__NUMBER1,V__NUMBER2,V__UNIT] :        ((s__instance(V__HALF,s__Object) &            s__instance(V__NUMBER1,s__RealNumber) &            s__instance(V__NUMBER2,s__RealNumber) &            s__instance(V__UNIT,s__UnitOfMeasure) &            (s__half(V__HALF,V__WHOLE)            &            s__measure(V__HALF,s__MeasureFn(V__NUMBER1,V__UNIT))        &        s__measure(V__MOST,s__MeasureFn(V__NUMBER2,V__UNIT))    &    s__greaterThan(V__NUMBER2,V__NUMBER1))))))) )	Mid-level-ontology.kif 14784-14791	If X is most of Y, then there exist Z, W,, , V and U such that Z is half of Y and the measure of Z is W U(s) and the measure of X is V U(s) and V is greater than W
! [V__OBJECT,V__NUMBER] : (((s__instance(V__OBJECT,s__Physical) &        s__instance(V__NUMBER,s__RealNumber))      =>      ((s__measure(V__OBJECT,s__MeasureFn(V__NUMBER,s__OunceMass))        =>        s__measure(V__OBJECT,s__MeasureFn(s__DivisionFn(V__NUMBER,n__16_0)     ,s__PoundMass))) & (s__measure(V__OBJECT,s__MeasureFn(s__DivisionFn(V__NUMBER,n__16_0) ,s__PoundMass)) => s__measure(V__OBJECT,s__MeasureFn(V__NUMBER,s__OunceMass))))) )	Mid-level-ontology.kif 14890-14895	The measure of X is Y Ounce(s) if and only if the measure of X is Y and 16.0 pound mass(s)
! [V__OBJECT : $i,V__Q : $real,V__UNIT : $i] : (((s__defaultMinimumMeasure(V__OBJECT, s__MeasureFn(V__Q, V__UNIT)) & s__instance(V__UNIT, s__CompositeUnitOfMeasure)) => s__modalAttribute(( ? [V__INST:$i, V__QUANTITY:$real] : ((s__instance(V__INST, V__OBJECT) & s__measure(V__INST, s__MeasureFn(V__QUANTITY, V__UNIT)) & ($less(V__QUANTITY,V__Q))))), s__Unlikely)))	Mid-level-ontology.kif 15068-15077	If the minimum expected value of X is Y Z(s) and Z is an instance of composite unit of measure, then the statement there exist W and V such that W is an instance of X and the measure of W is V Z(s) and V is less than Y has the modal force of unlikely
! [V__OBJECT : $i,V__Q : $real,V__UNIT1 : $i,V__UNITCLASS : $i] : (((s__defaultMinimumMeasure(V__OBJECT, s__MeasureFn(V__Q, V__UNIT1)) & s__subclass(V__UNITCLASS, s__NonCompositeUnitOfMeasure) & s__instance(V__UNIT1, V__UNITCLASS)) => s__modalAttribute(( ? [V__INST:$i, V__QUANTITY:$real, V__UNIT2:$i] : ((s__instance(V__INST, V__OBJECT) & s__measure(V__INST, s__MeasureFn(V__QUANTITY, V__UNIT2)) & s__instance(V__UNIT2, V__UNITCLASS) & ($less(V__QUANTITY,V__Q))))), s__Unlikely)))	Mid-level-ontology.kif 15079-15090	If the minimum expected value of X is Y Z(s), W is a subclass of non composite unit of measure, and Z is an instance of W, then the statement there exist V, U and T such that V is an instance of X and the measure of V is U T(s) and T is an instance of W and U is less than Y has the modal force of unlikely
! [V__OBJECT : $i,V__Q : $real,V__UNIT : $i] : (((s__defaultMaximumMeasure(V__OBJECT, s__MeasureFn(V__Q, V__UNIT)) & s__instance(V__UNIT, s__CompositeUnitOfMeasure)) => s__modalAttribute(( ? [V__INST:$i, V__QUANTITY:$real] : ((s__instance(V__INST, V__OBJECT) & s__measure(V__INST, s__MeasureFn(V__QUANTITY, V__UNIT)) & ($greater(V__QUANTITY,V__Q))))), s__Unlikely)))	Mid-level-ontology.kif 15099-15108	If the maximum expected value of X is Y Z(s) and Z is an instance of composite unit of measure, then the statement there exist W and V such that W is an instance of X and the measure of W is V Z(s) and V is greater than Y has the modal force of unlikely
! [V__OBJECT : $i,V__Q : $real,V__UNIT1 : $i,V__UNITCLASS : $i] : (((s__defaultMaximumMeasure(V__OBJECT, s__MeasureFn(V__Q, V__UNIT1)) & s__subclass(V__UNITCLASS, s__NonCompositeUnitOfMeasure) & s__instance(V__UNIT1, V__UNITCLASS)) => s__modalAttribute(( ? [V__INST:$i, V__QUANTITY:$real, V__UNIT2:$i] : ((s__instance(V__INST, V__OBJECT) & s__measure(V__INST, s__MeasureFn(V__QUANTITY, V__UNIT2)) & s__instance(V__UNIT2, V__UNITCLASS) & ($greater(s__MeasureFn(V__QUANTITY, V__UNIT2),s__MeasureFn(V__Q, V__UNIT1)))))), s__Unlikely)))	Mid-level-ontology.kif 15110-15121	If the maximum expected value of X is Y Z(s), W is a subclass of non composite unit of measure, and Z is an instance of W, then the statement there exist V, U and T such that V is an instance of X and the measure of V is U T(s) and T is an instance of W and U T(s) is greater than Y Z(s) has the modal force of unlikely
! [V__OBJECT : $i,V__Q : $real,V__UNIT : $i] : (((s__defaultMeasure(V__OBJECT, s__MeasureFn(V__Q, V__UNIT)) & s__instance(V__UNIT, s__CompositeUnitOfMeasure)) => s__modalAttribute(( ? [V__INST:$i, V__QUANTITY:$real] : ((s__instance(V__INST, V__OBJECT) & s__measure(V__INST, s__MeasureFn(V__QUANTITY, V__UNIT)) & ($greater(V__QUANTITY,$product(V__Q ,1.5)))))), s__Unlikely)))	Mid-level-ontology.kif 15129-15138	If the expected value of X is Y Z(s) and Z is an instance of composite unit of measure, then the statement there exist W and V such that W is an instance of X and the measure of W is V Z(s) and V is greater than Y and 1.5 has the modal force of unlikely
! [V__OBJECT : $i,V__Q : $real,V__UNIT : $i] : (((s__defaultMeasure(V__OBJECT, s__MeasureFn(V__Q, V__UNIT)) & s__instance(V__UNIT, s__CompositeUnitOfMeasure)) => s__modalAttribute(( ? [V__INST:$i, V__QUANTITY:$real] : ((s__instance(V__INST, V__OBJECT) & s__measure(V__INST, s__MeasureFn(V__QUANTITY, V__UNIT)) & ($less(V__QUANTITY,$product(V__Q ,0.5)))))), s__Unlikely)))	Mid-level-ontology.kif 15140-15149	If the expected value of X is Y Z(s) and Z is an instance of composite unit of measure, then the statement there exist W and V such that W is an instance of X and the measure of W is V Z(s) and V is less than Y and 0.5 has the modal force of unlikely
! [V__O,V__A] : (((s__instance(V__O,s__Physical) &        s__instance(V__A,s__RealNumber))      =>      ((s__measure(V__O,s__MeasureFn(V__A,s__MetricTon))        =>        s__measure(V__O,s__MeasureFn(s__MultiplicationFn(V__A,n__2205_0)     ,s__PoundMass))) & (s__measure(V__O,s__MeasureFn(s__MultiplicationFn(V__A,n__2205_0) ,s__PoundMass)) => s__measure(V__O,s__MeasureFn(V__A,s__MetricTon))))) )	Mid-level-ontology.kif 15168-15174	The measure of X is Y metric ton(s) if and only if the measure of X is Y and 2205.0 pound mass(s)
! [V__ACCELERATE : $i,V__AGENT : $i] : (((s__instance(V__ACCELERATE, s__Accelerating) & s__agent(V__ACCELERATE, V__AGENT)) => ( ? [V__LENGTH1:$real, V__LENGTH2:$real, V__TIME1:$real, V__TIME2:$real, V__U1:$i, V__U2:$i] : ((s__holdsDuring(s__BeginFn(s__WhenFn(V__ACCELERATE)), s__measure(V__AGENT, s__SpeedFn(s__MeasureFn(V__LENGTH1, V__U1), s__MeasureFn(V__TIME1, V__U2)))) & s__holdsDuring(s__EndFn(s__WhenFn(V__ACCELERATE)), s__measure(V__AGENT, s__SpeedFn(s__MeasureFn(V__LENGTH2, V__U1), s__MeasureFn(V__TIME2, V__U2)))) & (($greater(V__LENGTH2,V__LENGTH1)) | ($greater(V__TIME2,V__TIME1))))))))	Mid-level-ontology.kif 18761-18782	If X is an instance of accelerating and Y is an agent of X, then there exist Z, W,, , V,, , U,, , T and S such that the measure of Y is Z T(s) per V S(s) holds during the beginning of the time of existence of X and the measure of Y is W T(s) per U S(s) holds during the end of the time of existence of X and W is greater than Z or U is greater than V
! [V__A : $i,V__D : $i] : (((s__instance(V__D, s__Decelerating) & s__agent(V__D, V__A)) => ( ? [V__L1:$real, V__L2:$real, V__T1:$real, V__T2:$real, V__U1:$i, V__U2:$i] : ((s__holdsDuring(s__BeginFn(s__WhenFn(V__D)), s__measure(V__A, s__SpeedFn(s__MeasureFn(V__L1, V__U1), s__MeasureFn(V__T1, V__U2)))) & s__holdsDuring(s__EndFn(s__WhenFn(V__D)), s__measure(V__A, s__SpeedFn(s__MeasureFn(V__L2, V__U1), s__MeasureFn(V__T2, V__U2)))) & (($greater(V__L1,V__L2)) | ($greater(V__T1,V__T2))))))))	Mid-level-ontology.kif 18789-18809	If X is an instance of decelerating and Y is an agent of X, then there exist Z, W,, , V,, , U,, , T and S such that the measure of Y is Z T(s) per V S(s) holds during the beginning of the time of existence of X and the measure of Y is W T(s) per U S(s) holds during the end of the time of existence of X and Z is greater than W or V is greater than U
! [V__X] : ((s__instance(V__X,s__HandGrenade) =>      (? [V__N] :        ((s__instance(V__N,s__RealNumber) &            (s__measure(V__X,s__MeasureFn(V__N,s__PoundMass))            &            s__lessThan(V__N,n__10_0)))))) )	Mid-level-ontology.kif 24162-24168	If X is an instance of hand grenade, then there exists Y such that the measure of X is Y pound mass(s) and Y is less than 10.0
! [V__X,V__Y] : (((s__attribute(V__X,V__Y)      &      s__instance(V__Y,s__TemperatureAttribute) &      s__instance(V__X,s__Object))    =>    (? [V__TEMP] :      ((s__measure(V__X,V__TEMP)        &        s__instance(V__TEMP,s__TemperatureMeasure) &        s__attribute(V__TEMP,V__Y))))) )	Mid-level-ontology.kif 28255-28264	If X is an attribute of Y, X is an instance of temperature attribute, and Y is an instance of object, then there exists Z such that the measure of Y is Z, Z is an instance of temperature measure, and X is an attribute of Z
! [V__X,V__CLASS,V__Y] : (((s__instance(V__X,s__Object) &        s__instance(V__CLASS,s__Class) &        s__instance(V__Y,s__Object))      =>      ((s__immediateInstance(V__X,V__CLASS)        &        s__immediateInstance(V__Y,V__CLASS)      &      s__attribute(V__X,s__ColdTemperature) &      s__attribute(V__Y,s__HotTemperature))    =>    (? [V__TEMPX,V__TEMPY,V__UNIT] :      ((s__measure(V__X,s__MeasureFn(V__TEMPX,V__UNIT))      &      s__instance(V__UNIT,s__UnitOfTemperature) &      s__instance(V__TEMPX,s__TemperatureMeasure) &      s__measure(V__Y,s__MeasureFn(V__TEMPY,V__UNIT)) & s__instance(V__TEMPY,s__TemperatureMeasure) & s__greaterThan(V__TEMPY,V__TEMPX)))))) )	Mid-level-ontology.kif 28290-28305	If X is an immediate instance of Y, Z is an immediate instance of Y, cold is an attribute of X, and hot is an attribute of Z, then there exist W, V and U such that the measure of X is W U(s) and U is an instance of unit of temperature and W is an instance of temperature measure and the measure of Z is V U(s) and V is an instance of temperature measure and V is greater than W
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