consequent

(=>     (instance ?PROC DirectionChange)     (exists (?ATTR)         (and             (instance ?ATTR DirectionalAttribute)             (or                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?PROC))                         (manner ?PROC ?ATTR))                     (holdsDuring                         (EndFn                             (WhenFn ?PROC))                         (not                             (manner ?PROC ?ATTR))))                 (and                     (holdsDuring                         (EndFn                             (WhenFn ?PROC))                         (manner ?PROC ?ATTR))                     (holdsDuring                         (BeginFn                             (WhenFn ?PROC))                         (not                             (manner ?PROC ?ATTR))))))))	Merge.kif 11560-11571	If X is an instance of direction change, then there exists Y such that Y is an instance of directional attribute and X is performed in the manner Y holds during the beginning of the time of existence of X and X is not performed in the manner Y holds during the end of the time of existence of X or X is performed in the manner Y holds during the end of the time of existence of X and X is not performed in the manner Y holds during the beginning of the time of existence of X
(=>     (instance ?C Compass)     (exists (?D)         (and             (instance ?D DirectionalAttribute)             (represents ?C ?D))))	Mid-level-ontology.kif 2863-2868	If X is an instance of compass, then there exists Y such that Y is an instance of directional attribute and X expresses Y
(=>     (and         (instance ?SAW Saw)         (instance ?CUT Cutting)         (instrument ?CUT ?SAW)         (instance ?OBJ Object)         (patient ?CUT ?OBJ))     (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)         (and             (instance ?MOTION Motion)             (subProcess ?MOTION ?CUT)             (instance ?PART CuttingDevice)             (part ?PART ?SAW)             (meetsSpatially ?PART ?OBJ)             (patient ?MOTION ?PART)             (instance ?T2 TimeInterval)             (instance ?T2 TimeInterval)             (equal                 (WhenFn ?MOTION) ?TIME)             (temporalPart ?TIME ?T1)             (temporalPart ?TIME ?T2)             (instance ?DIR1 DirectionalAttribute)             (instance ?DIR2 DirectionalAttribute)             (=>                 (holdsDuring ?T1                     (direction ?MOTION ?DIR1))                 (holdsDuring ?T2                     (and                         (direction ?MOTION ?DIR2)                         (or                             (equal ?DIR1 ?DIR2)                             (oppositeDirection ?DIR1 ?DIR2))                         (not                             (and                                 (equal ?DIR1 ?DIR2)                                 (oppositeDirection ?DIR1 ?DIR2)))))))))	Mid-level-ontology.kif 20084-20118	If X is an instance of saw, Y is an instance of cutting, X is an instrument for Y, Z is an instance of object, and Z is a patient of Y, then there exist W, V,, , U,, , T,, , S,, , R and Q such that W is an instance of motion and W is a subprocess of Y and Q is an instance of cutting device and Q is a part of X and Q meets Z and Q is a patient of W and R is an instance of timeframe and R is an instance of timeframe and equal the time of existence of W and T and T is a part of S and T is a part of R and V is an instance of directional attribute and U is an instance of directional attribute and entities in the process W are moving V holds during Sentities in the process W are moving U and equal V and U or U is an opposite direction of V and ~{ equal V and U } or ~{ U is an opposite direction of V } holds during R
(=>     (and         (instance ?PLACE GeographicArea)         (located ?PLACE Tropics))     (exists (?NUM1 ?LONG ?DIR ?NUM2 ?U)         (and             (objectGeographicCoordinates ?PLACE                 (MeasureFn ?NUM1 ?U) ?LONG)             (instance ?U UnitOfAngularMeasure)             (lessThan ?NUM1 ?NUM2)             (equal                 (MeasureFn ?NUM2 ?U)                 (LatitudeFn ?DIR                     (MeasureFn 23.0 AngularDegree)                     (MeasureFn 26.0 ArcMinute)                     (MeasureFn 9.4 ArcSecond)))             (instance ?DIR DirectionalAttribute)             (or                 (equal ?DIR North)                 (equal ?DIR South)))))	Geography.kif 5021-5040	If X is an instance of geographic area and X is located at tropics, then there exist Y, Z,, , W,, , V and U such that X is object geographic coordinates Y U(s) for Z and U is an instance of unit of angular measure and Y is less than V and equal V U(s) and the region W of 23.0 angular degree(s) and W is an instance of directional attribute and equal W and north of or equal W and south of
(=>     (instance ?A PESAAntenna)     (hasPurpose ?A         (exists (?R ?C ?D)             (and                 (instance ?R RadioEmission)                 (instrument ?R ?A)                 (during                     (WhenFn ?R) ?T)                 (instance ?C Collection)                 (member ?R ?C)                 (property ?C ?D)                 (instance ?D DirectionalAttribute)                 (not                     (exists (?D2)                         (and                             (instance ?D2 DirectionalAttribute)                             (property ?C ?D2)                             (not                                 (equal ?D ?D2)))))))))	Transportation.kif 5458-5477	If X is an instance of passive electronically scanned array antenna, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of radio emission (3) X is an instrument for Y (4) the time of existence of Y takes place during V (5) Z is an instance of collection (6) Y is a member of Z (7) Z the attribute W (8) W is an instance of directional attribute (9) there doesn't exist U such that U is an instance of directional attribute (10) Z the attribute U (11) equal W (12) U
(=>     (and         (instance ?TC TropicalCyclonicSystem)         (origin ?TC ?SEA)         (or             (instance ?SEA NorthAtlanticOcean)             (instance ?SEA PacificOcean)             (instance ?SEA IndianOcean)))     (not         (exists (?AREA ?DIR ?NUM ?LONG)             (and                 (located ?AREA ?SEA)                 (instance ?DIR DirectionalAttribute)                 (objectGeographicCoordinates ?AREA                     (LatitudeFn ?DIR                         (MeasureFn ?NUM AngularDegree)) ?LONG)                 (or                     (equal ?DIR North)                     (equal ?DIR South))                 (lessThan ?NUM 5.0)))))	Weather.kif 1052-1071	If X is an instance of tropical cyclonic system, X originates at Y, and At least one of the following holds: (1) Y is an instance of north atlantic ocean (2) Y is an instance of pacific ocean (3) Y is an instance of indian ocean, then there don't exist Z, W,, , V and U such that Z is located at Y and W is an instance of directional attribute and Z is object geographic coordinates the region W of V angular degree(s) for U and equal W and north of or equal W and south of and V is less than 5.0

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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners