consequent

(<=>     (larger ?OBJ1 ?OBJ2)     (forall (?QUANT1 ?QUANT2 ?UNIT)         (=>             (and                 (measure ?OBJ1                     (MeasureFn ?QUANT1 ?UNIT))                 (measure ?OBJ2                     (MeasureFn ?QUANT2 ?UNIT))                 (instance ?UNIT UnitOfLength))             (greaterThan ?QUANT1 ?QUANT2))))	Merge.kif 7868-7876	An object is larger than another object if and only if for all a real number, another real number and an unit of measure if the measure of the object is the real number the unit of measure(s) and the measure of the other object is the other real number the unit of measure(s) and the unit of measure is an instance of unit of length, then the real number is greater than the other real number
(=>     (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 19122-19137	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 ?G Grain)         (grainSize ?G ?L))     (approximateDiameter ?G         (MeasureFn ?L UnitOfLength)))	Food.kif 1084-1089	If a self connected object is an instance of grain and a real number is the diameter in UnitOFLength of the self connected object, then the approximate diameter of the self connected object is the real number unit of length(s)
(=>     (and         (instance ?L Lengthening)         (patient ?L ?O))     (exists (?L1 ?L2 ?U)         (and             (instance ?U UnitOfLength)             (holdsDuring                 (BeginFn                     (WhenFn ?L))                 (length ?O                     (MeasureFn ?L1 ?U)))             (holdsDuring                 (EndFn                     (WhenFn ?L))                 (length ?O                     (MeasureFn ?L2 ?U)))             (greaterThan ?L2 ?L1))))	Mid-level-ontology.kif 25442-25457	If a process is an instance of lengthening and an entity is a patient of the process, then there exist the process1, the process2 and another entity such that the other entity is an instance of unit of length and the length of the entity is the process1 the other entity(s) holds during the beginning of the time of existence of the process and the length of the entity is the process2 the other entity(s) holds during the end of the time of existence of the process and the process2 is greater than the process1
(=>     (and         (instance ?LOW LowTide)         (instance ?HIGH HighTide)         (eventLocated ?LOW ?PLACE)         (eventLocated ?HIGH ?PLACE)         (instance ?DAY Day)         (overlapsTemporally ?LOW ?DAY)         (overlapsTemporally ?HIGH ?DAY))     (exists (?AMOUNT1 ?AMOUNT2 ?U)         (and             (instance ?U UnitOfLength)             (holdsDuring ?LOW                 (waterDepth ?PLACE                     (MeasureFn ?AMOUNT1 ?U)))             (holdsDuring ?HIGH                 (waterDepth ?PLACE                     (MeasureFn ?AMOUNT2 ?U)))             (greaterThan ?AMOUNT2 ?AMOUNT1))))	Geography.kif 6524-6542	If a time interval is an instance of low tide and another time interval is an instance of high tide and the time interval is located at an object and the other time interval is located at the object and a third time interval is an instance of day and the third time interval overlaps the time interval and the third time interval overlaps the other time interval, 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 time interval and the other real number the entity(s) is a water depth of the object holds during the other time interval and the other real number is greater than the real number
(=>     (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 33742-33763	If a motion is an instance of moving towards and an object is an instance of object and an entity is an instance of object and the entity is a patient of the motion and the object is a patient of the motion, then there exist the entity, a real number,, , another real number and another entity such that the real number is an instance of real number and the other real number is an instance of real number and the other entity is an instance of unit of length and the object moves during the motion and the distance between the object and the entity is the real number the other entity(s) holds during the beginning of the time of existence of the motion and the distance between the object and the entity is the other real number the other entity(s) holds during the end of the time of existence of the motion and the real number is greater than the other real number
(=>     (and         (instance ?MTP MovingAwayFromPeople)         (agent ?MTP ?A))     (exists (?P ?U ?D1 ?D2)         (and             (instance ?P Human)             (instance ?U UnitOfLength)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?MTP))                 (distance ?MTP ?A                     (MeasureFn ?D1 ?U)))             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?MTP))                 (distance ?MTP ?A                     (MeasureFn ?D2 ?U)))             (greaterThan ?D2 ?D1))))	emotion.kif 1393-1411	If a process is an instance of moving away from people and an agent is an agent of the process, then there exist an entity, another entity,, , a real number and another real number such that the entity is an instance of human and the other entity is an instance of unit of length and the distance between the process and the agent is the real number the other entity(s) holds during immediately before the time of existence of the process and the distance between the process and the agent is the other real number the other entity(s) holds during immediately after the time of existence of the process and the other real number is greater than the real number
(=>     (and         (instance ?MTP MovingTowardsPeople)         (agent ?MTP ?A))     (exists (?P ?U ?D1 ?D2)         (and             (instance ?P Human)             (instance ?U UnitOfLength)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?MTP))                 (distance ?MTP ?A                     (MeasureFn ?D1 ?U)))             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?MTP))                 (distance ?MTP ?A                     (MeasureFn ?D2 ?U)))             (greaterThan ?D1 ?D2))))	emotion.kif 1427-1445	If a process is an instance of moving towards people and an agent is an agent of the process, then there exist an entity, another entity,, , a real number and another real number such that the entity is an instance of human and the other entity is an instance of unit of length and the distance between the process and the agent is the real number the other entity(s) holds during immediately before the time of existence of the process and the distance between the process and the agent is the other real number the other entity(s) holds during immediately after the time of existence of the process and the real number is greater than the other real number
(=>     (and         (instance ?S Shortening)         (patient ?S ?O))     (exists (?L1 ?L2 ?U)         (and             (instance ?U UnitOfLength)             (holdsDuring                 (BeginFn                     (WhenFn ?S))                 (length ?O                     (MeasureFn ?L1 ?U)))             (holdsDuring                 (EndFn                     (WhenFn ?S))                 (length ?O                     (MeasureFn ?L2 ?U)))             (greaterThan ?L1 ?L2))))	Mid-level-ontology.kif 18621-18636	If a process is an instance of shortening and an entity is a patient of the process, then there exist a real number, another real number and another entity such that the other entity is an instance of unit of length and the length of the entity is the real number the other entity(s) holds during the beginning of the time of existence of the process and the length of the entity is the other 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
(=>     (and         (instance ?WW WaterWave)         (waveHeight ?WW ?WH))     (exists (?LIST ?WA ?U ?SWH)         (and             (inList ?WH ?LIST)             (instance ?WA WaterArea)             (eventLocated ?WW ?WA)             (instance ?U UnitOfLength)             (significantWaveHeight ?WA                 (WhenFn ?WW)                 (MeasureFn ?SWH ?U))             (equal ?SWH                 (MultiplicationFn 4.0                     (StandardDeviationFn ?LIST))))))	Weather.kif 2856-2871	If a water wave is an instance of water wave and The waveHeight of the water wave a length measure., then there exist a list, a water area,, , an unit of measure and an integer such that the length measure is a member of the list and the water area is an instance of water area and the water wave is located at the water area and the unit of measure is an instance of unit of length and significantWaveHeight in the water area during the time of existence of the water wave is the integer the unit of measure(s). and equal the integer and 4.0 and The StandardDeviationFn of the list
(=>     (attribute ?F Flat)     (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)         (and             (side ?S1 ?F)             (side ?S2 ?F)             (meetsSpatially ?S1 ?S2)             (not                 (equal ?S1 ?S2))             (instance ?U UnitOfLength)             (height ?F                 (MeasureFn ?HF ?U))             (height ?S1                 (MeasureFn ?H1 ?U))             (height ?S2                 (MeasureFn ?H2 ?U))             (greaterThan ?H1                 (MultiplicationFn 2.0 ?HF))             (greaterThan ?H2                 (MultiplicationFn 2.0 ?HF)))))	Mid-level-ontology.kif 3245-3258	If flat is an attribute of a self connected object, then there exist another self connected object, a third self connected object,, , a real number,, , another real number,, , a third real number and an unit of measure such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the other self connected object meets the third self connected object and equal the other self connected object and the third self connected object and the unit of measure is an instance of unit of length and the height of the self connected object is the real number the unit of measure(s) and the height of the other self connected object is the other real number the unit of measure(s) and the height of the third self connected object is the third real number the unit of measure(s) and the other real number is greater than 2.0 and the real number and the third real number is greater than 2.0 and the real number
(=>     (attribute ?F LongAndThin)     (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)         (and             (side ?S1 ?F)             (side ?S2 ?F)             (meetsSpatially ?S1 ?S2)             (not                 (equal ?S1 ?S2))             (instance ?U UnitOfLength)             (length ?F                 (MeasureFn ?HF ?U))             (length ?S1                 (MeasureFn ?H1 ?U))             (length ?S2                 (MeasureFn ?H2 ?U))             (lessThan ?H1                 (MultiplicationFn 3.0 ?HF))             (lessThan ?H2                 (MultiplicationFn 3.0 ?HF)))))	Mid-level-ontology.kif 3266-3279	If long and thin is an attribute of a self connected object, then there exist another self connected object, a third self connected object,, , a real number,, , another real number,, , a third real number and an unit of measure such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the other self connected object meets the third self connected object and equal the other self connected object and the third self connected object and the unit of measure is an instance of unit of length and the length of the self connected object is the real number the unit of measure(s) and the length of the other self connected object is the other real number the unit of measure(s) and the length of the third self connected object is the third real number the unit of measure(s) and the other real number is less than 3.0 and the real number and the third real number is less than 3.0 and the real number
(=>     (attribute ?O LevelShape)     (not         (exists (?P1 ?P2 ?T ?H1 ?H2 ?U)             (and                 (top ?T ?O)                 (part ?P1 ?T)                 (part ?P2 ?T)                 (instance ?U UnitOfLength)                 (height ?P1                     (MeasureFn ?H1 ?U))                 (height ?P2                     (MeasureFn ?H2 ?U))                 (greaterThan ?H1 ?H2)))))	Mid-level-ontology.kif 3286-3299	If level shape is an attribute of a self connected object, then there don't exist another self connected object, a third self connected object,, , a fourth self connected object,, , a real number,, , another real number and an unit of measure such that the top of the self connected object is the fourth self connected object and the other self connected object is a part of the fourth self connected object and the third self connected object is a part of the fourth self connected object and the unit of measure is an instance of unit of length and the height of the other self connected object is the real number the unit of measure(s) and the height of the third self connected object is the other real number the unit of measure(s) and the real number is greater than the other real number
(=>     (instance ?PLANER Planer)     (hasPurpose ?PLANER         (exists (?CUT ?OBJ1 ?OBJ2 ?U ?H1 ?H2)             (and                 (instance ?CUT Cutting)                 (instrument ?CUT ?PLANER)                 (resource ?CUT ?OBJ1)                 (instance ?OBJ1 Object)                 (material ?OBJ1 Wood)                 (result ?CUT ?OBJ2)                 (instance ?OBJ2 Object)                 (material Wood ?OBJ2)                 (attribute ?OBJ2 Flat)                 (instance ?U UnitOfLength)                 (height ?OBJ1                     (MeasureFn ?H1 ?U))                 (height ?OBJ2                     (MeasureFn ?H2 ?U))                 (greaterThan ?H1 ?H2)))))	Economy.kif 6410-6429	If a physical is an instance of planer, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of cutting and the physical is an instrument for the entity and the other entity is a resource for the entity and the other entity is an instance of object and wood is made of the other entity and the third entity is a result of the entity and the third entity is an instance of object and the third entity is made of wood and flat is an attribute of the third entity and the fourth entity is an instance of unit of length and the height of the other entity is the fifth entity the fourth entity(s) and the height of the third entity is the sixth entity the fourth entity(s) and the fifth entity is greater than the sixth entity
(=>     (instance ?incline SlopedArea)     (exists (?top ?bottom ?height1 ?height2 ?U)         (and             (top ?top ?incline)             (bottom ?bottom ?incline)             (instance ?U UnitOfLength)             (earthAltitude ?top                 (MeasureFn ?height1 ?U))             (earthAltitude ?bottom                 (MeasureFn ?height2 ?U))             (greaterThan ?height1 ?height2))))	Geography.kif 5659-5670	If a self connected object is an instance of sloped area, then there exist another self connected object, a third self connected object,, , a real number,, , another real number and an unit of measure such that the top of the self connected object is the other self connected object and the bottom of the self connected object is the third self connected object and the unit of measure is an instance of unit of length and the other self connected object is the real number the unit of measure(s) above the ground and the third self connected object is the other real number the unit of measure(s) above the ground and the real number is greater than the other real number

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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