consequent

(=>     (instance ?Mountain Mountain)     (exists (?Incline)         (and             (instance ?Incline SlopedArea)             (attribute ?Incline SteepTerrain)             (part ?Incline ?Mountain))))	Geography.kif 5545-5551	If X is an instance of mountain, then there exists Y such that Y is an instance of sloped area, steep terrain is an attribute of Y, and Y is a part of X
(=>     (instance ?Hill Hill)     (exists (?Incline)         (and             (instance ?Incline SlopedArea)             (part ?Incline ?Hill))))	Geography.kif 5568-5573	If X is an instance of hill, then there exists Y such that Y is an instance of sloped area and Y is a part of X
(=>     (instance ?plateau Plateau)     (exists (?slope)         (and             (instance ?slope SlopedArea)             (attribute ?slope SteepTerrain)             (overlapsSpatially ?slope ?plateau))))	Geography.kif 5650-5656	If X is an instance of plateau, then there exists Y such that Y is an instance of sloped area, steep terrain is an attribute of Y, Y, and X overlapsSpatially
(=>     (instance ?SKI CrossCountrySkiing)     (not         (exists (?SLOPE)             (and                 (instance ?SLOPE SlopedArea)                 (eventLocated ?SKI ?SLOPE)))))	Sports.kif 1108-1114	If X is an instance of cross country skiing, then there doesn't exist Y such that Y is an instance of sloped area and X is located at Y
(=>     (instance ?FACILITY SkiingFacility)     (exists (?SLOPE ?SKIING)         (and             (instance ?SLOPE SlopedArea)             (part ?SLOPE ?FACILITY)             (instance ?SKIING Skiing)             (eventLocated ?SKIING ?SLOPE))))	Sports.kif 1121-1128	If X is an instance of skiing facility, then there exist Y, Z such that Y is an instance of sloped area, Y is a part of X, Z is an instance of skiing, and Z is located at Y
(=>     (instance ?W KatabaticWind)     (exists (?TOP ?A ?M ?AIR)         (and             (origin ?W ?TOP)             (top ?TOP ?A)             (instance ?A SlopedArea)             (instance ?M MotionDownward)             (patient ?M ?AIR)             (orientation ?AIR ?TOP Above)             (causes ?M ?W))))	Weather.kif 2526-2536	If X is an instance of katabatic wind, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that X originates at Y (3) the top of Z is Y (4) Z is an instance of sloped area (5) W is an instance of motion downward (6) V is a patient of W (7) V is above to Y (8) W causes X
(=>     (instance ?W MountainBreeze)     (exists (?TOP ?A ?C ?AIR ?M)         (and             (origin ?W ?TOP)             (top ?TOP ?A)             (instance ?A SlopedArea)             (instance ?C Cooling)             (patient ?C ?AIR)             (orientation ?AIR ?TOP Above)             (causes ?C ?M)             (instance ?M MotionDownward)             (subProcess ?M ?W))))	Weather.kif 2568-2580	If X is an instance of mountain breeze, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that X originates at Y (3) the top of Z is Y (4) Z is an instance of sloped area (5) W is an instance of cooling (6) V is a patient of W (7) V is above to Y (8) W causes U (9) U is an instance of motion downward (10) U is a subprocess of X
(=>     (instance ?W ValleyBreeze)     (exists (?BOTTOM ?A ?H ?AIR ?M)         (and             (origin ?W ?BOTTOM)             (bottom ?BOTTOM ?A)             (instance ?A SlopedArea)             (instance ?H Heating)             (patient ?H ?AIR)             (orientation ?AIR ?BOTTOM Above)             (causes ?H ?M)             (instance ?M MotionUpward)             (subProcess ?M ?W))))	Weather.kif 2591-2603	If X is an instance of valley breeze, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that X originates at Y (3) the bottom of Z is Y (4) Z is an instance of sloped area (5) W is an instance of heating (6) V is a patient of W (7) V is above to Y (8) W causes U (9) U is an instance of motion upward (10) U is a subprocess of X

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