consequent

(<=>     (instance ?NUMBER NonnegativeRealNumber)     (and         (greaterThanOrEqualTo ?NUMBER 0)         (instance ?NUMBER RealNumber)))	Merge.kif 1961-1965	X is an instance of nonnegative real number if, only if X is greater than or equal to 0, and X is an instance of real number
(<=>     (instance ?NUMBER PositiveRealNumber)     (and         (greaterThan ?NUMBER 0)         (instance ?NUMBER RealNumber)))	Merge.kif 1972-1976	X is an instance of positive real number if, only if X is greater than 0, and X is an instance of real number
(<=>     (instance ?NUMBER NegativeRealNumber)     (and         (lessThan ?NUMBER 0)         (instance ?NUMBER RealNumber)))	Merge.kif 1983-1987	X is an instance of negative real number if, only if X is less than 0, and X is an instance of real number
(=>     (average ?LIST ?AVERAGE)     (forall (?LISTITEM)         (=>             (inList ?LISTITEM ?LIST)             (instance ?LISTITEM RealNumber))))	Merge.kif 5421-5426	If X is an average of Y, then For all Entity Z: if Z is a member of Y, then Z is an instance of real number
(=>     (and         (instance ?UNIT UnitOfMeasure)         (equal ?SQUAREUNIT             (SquareUnitFn ?UNIT)))     (exists (?NUM)         (and             (instance ?NUM RealNumber)             (equal                 (MeasureFn ?NUM ?SQUAREUNIT)                 (MeasureFn                     (MultiplicationFn ?NUM ?NUM) ?UNIT)))))	Mid-level-ontology.kif 15099-15110	If X is an instance of unit of measure and equal Y and the square unit of X, then there exists Z such that Z is an instance of real number and equal Z Y(s) and Z and Z X(s)
(=>     (and         (instance ?MAF MovingAwayFrom)         (instance ?RELATIVEOBJECT Object)         (instance ?REFERENCEOBJECT Object)         (patient ?MAF ?RELATIVEOBJECT)         (patient ?MAF ?REFERENCEOBJECT))     (exists (?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE ?U)         (and             (instance ?BEFOREDISTANCE RealNumber)             (instance ?AFTERDISTANCE RealNumber)             (moves ?MAF ?RELATIVEOBJECT)             (holdsDuring                 (BeginFn                     (WhenFn ?MAF))                 (distance ?RELATIVEOBJECT ?REFERENCEOBJECT                     (MeasureFn ?BEFOREDISTANCE ?U)))             (holdsDuring                 (EndFn                     (WhenFn ?MAF))                 (distance ?RELATIVEOBJECT ?REFERENCEOBJECT                     (MeasureFn ?AFTERDISTANCE ?U)))             (greaterThan ?AFTERDISTANCE ?BEFOREDISTANCE))))	Mid-level-ontology.kif 34476-34496	If X is an instance of moving away from, Y is an instance of object, Z is an instance of object, Y is a patient of X, and Z is a patient of X, then there exist Z, W,, , V and U such that W is an instance of real number and V is an instance of real number and Y moves during X and the distance between Y and Z is W U(s) holds during the beginning of the time of existence of X and the distance between Y and Z is V U(s) holds during the end of the time of existence of X and V is greater than W
(=>     (and         (instance ?MT MovingTowards)         (instance ?RELATIVEOBJECT Object)         (instance ?REFERENCEOBJECT Object)         (patient ?MT ?REFERENCEOBJECT)         (patient ?MT ?RELATIVEOBJECT))     (exists (?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE ?U)         (and             (instance ?BEFOREDISTANCE RealNumber)             (instance ?AFTERDISTANCE RealNumber)             (instance ?U UnitOfLength)             (moves ?MT ?RELATIVEOBJECT)             (holdsDuring                 (BeginFn                     (WhenFn ?MT))                 (distance ?RELATIVEOBJECT ?REFERENCEOBJECT                     (MeasureFn ?BEFOREDISTANCE ?U)))             (holdsDuring                 (EndFn                     (WhenFn ?MT))                 (distance ?RELATIVEOBJECT ?REFERENCEOBJECT                     (MeasureFn ?AFTERDISTANCE ?U)))             (greaterThan ?BEFOREDISTANCE ?AFTERDISTANCE))))	Mid-level-ontology.kif 34503-34524	If X is an instance of moving towards, Y is an instance of object, Z is an instance of object, Z is a patient of X, and Y is a patient of X, then there exist Z, W,, , V and U such that W is an instance of real number and V is an instance of real number and U is an instance of unit of length and Y moves during X and the distance between Y and Z is W U(s) holds during the beginning of the time of existence of X and the distance between Y and Z is V U(s) holds during the end of the time of existence of X and W is greater than V
(=>     (instance ?L Lungo)     (exists (?E ?V)         (and             (instance ?E Espresso)             (part ?E ?L)             (measure ?E                 (MeasureFn ?V Liter))             (instance ?V RealNumber)             (measure ?L                 (MeasureFn                     (MultiplicationFn ?V 2) Liter)))))	Food.kif 770-781	If X is an instance of lungo, then there exist Y and Z such that Y is an instance of espresso and Y is a part of X and the measure of Y is Z liter(s) and Z is an instance of real number and the measure of X is Z and 2 liter(s)

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