consequent

(=>     (depth ?OBJ1 ?OBJ2 ?DEPTH)     (orientation ?OBJ1 ?OBJ2 Below))	Merge.kif 7915-7917	If the depth from X to Y is Z, then X is below to Y
(=>     (and         (top ?TOP ?OBJECT)         (part ?PART ?OBJECT)         (not             (connected ?PART ?TOP)))     (orientation ?PART ?TOP Below))	Merge.kif 9957-9962	If the top of X is Y, Z is a part of X, and Z is not connected to Y, then Z is below to Y
(=>     (and         (instance ?DROP Falling)         (origin ?DROP ?START)         (destination ?DROP ?FINISH))     (orientation ?FINISH ?START Below))	Merge.kif 11863-11868	If X is an instance of falling, X originates at Y, and X ends up at Z, then Z is below to Y
(=>     (and         (instance ?CHIN Chin)         (instance ?FACE Face)         (part ?CHIN ?FACE)         (part ?PART ?FACE)         (not             (part ?PART ?CHIN)))     (orientation ?PART ?CHIN Below))	Mid-level-ontology.kif 14547-14555	If X is an instance of chin, Y is an instance of face, X is a part of Y, Z is a part of Y, and Z is not a part of X, then Z is below to X
(=>     (instance ?BASEMENT Basement)     (not         (exists (?LEVEL ?BUILDING)             (and                 (instance ?LEVEL BuildingLevel)                 (instance ?BUILDING Building)                 (part ?LEVEL ?BUILDING)                 (part ?BASEMENT ?BUILDING)                 (not                     (equal ?LEVEL ?BASEMENT))                 (orientation ?LEVEL ?BASEMENT Below)))))	Mid-level-ontology.kif 17010-17019	If X is an instance of basement, then All of the following hold: (1) there don't exist Y (2) Z such that Y is an instance of building level (3) Z is an instance of building (4) Y is a part of Z (5) X is a part of Z (6) equal Y (7) X (8) Y is below to X
(=>     (instance ?R UnderwaterRegion)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (orientation ?R ?WATER Below))))	Mid-level-ontology.kif 19598-19603	If X is an instance of under water, then there exists Y such that Y is an instance of water area and X is below to Y
(=>     (orientation ?OBJ1 ?OBJ2 Downstairs)     (exists (?LEVEL1 ?LEVEL2 ?BUILDING)         (and             (instance ?LEVEL1 BuildingLevel)             (instance ?LEVEL2 BuildingLevel)             (instance ?BUILDING Building)             (part ?LEVEL1 ?BUILDING)             (part ?LEVEL2 ?BUILDING)             (located ?OBJ1 ?LEVEL1)             (located ?OBJ2 ?LEVEL2)             (orientation ?LEVEL1 ?LEVEL2 Below))))	Mid-level-ontology.kif 21174-21185	If X is downstairs from to Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of building level (3) W is an instance of building level (4) V is an instance of building (5) Z is a part of V (6) W is a part of V (7) X is located at Z (8) Y is located at W (9) Z is below to W
(=>     (instance ?SCUBA ScubaDiving)     (exists (?WATER ?DEVICE ?BREATH)         (and             (instance ?WATER WaterArea)             (orientation ?SCUBA ?WATER Below)             (instance ?DEVICE Device)             (instance ?BREATH Breathing)             (instrument ?BREATH ?DEVICE)             (subProcess ?BREATH ?SCUBA))))	Mid-level-ontology.kif 29496-29505	If X is an instance of scuba diving, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of water area (3) X is below to Y (4) Z is an instance of device (5) W is an instance of breathing (6) Z is an instrument for W (7) W is a subprocess of X
(=>     (instance ?place UndergroundArea)     (exists (?area ?ground)         (and             (surface ?ground PlanetEarth)             (part ?area ?ground)             (orientation ?place ?area Below))))	Geography.kif 5504-5510	If X is an instance of underground area, then there exist Y, Z such that Z is a surface of planet earth, Y is a part of Z, and X is below to Y
(=>     (and         (instance ?X Argument)         (instance ?R Reasoning)         (instance ?A Archeology)         (subProposition ?X ?A)         (realization ?R ?X))     (exists (?D ?S ?O ?T ?W ?L)         (and             (instance ?D Discovering)             (instance ?O Object)             (patient ?D ?O)             (refers ?R ?D)             (earlier                 (WhenFn ?D)                 (WhenFn ?R))             (age ?O                 (MeasureFn ?T YearDuration))             (greaterThan ?T 50)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?D))                 (or                     (and                         (surface ?S ?W)                         (instance ?W BodyOfWater)                         (orientation ?O ?S Below))                     (and                         (surface ?S ?L)                         (instance ?L LandArea)                         (orientation ?O ?S Below)))))))	Geography.kif 6008-6038	If X is an instance of argument, Y is an instance of reasoning, Z is an instance of archeology, X is a sub-proposition of Z, and Y expresses the content of X, then there exist W, V,, , U,, , T,, , S and R such that W is an instance of discovering and U is an instance of object and U is a patient of W and Y includes a reference to W and the time of existence of W happens earlier than the time of existence of Y and the age of U is T year duration(s) and T is greater than 50 and V is a surface of S and S is an instance of body of water and U is below to V or V is a surface of R and R is an instance of land area and U is below to V holds during immediately before the time of existence of W
(=>     (instance ?LAND SubmergedLandArea)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (orientation ?LAND ?WATER Below)             (orientation ?WATER ?LAND On)             (meetsSpatially ?LAND ?WATER))))	Geography.kif 7672-7679	If X is an instance of submerged land area, then there exists Y such that Y is an instance of water area, X is below to Y, Y is on to X, and X meets Y
(=>     (attribute ?X LoftStyle)     (exists (?FLOOR ?LOFT ?CEILING)         (and             (bottom ?FLOOR ?X)             (top ?CEILING ?X)             (instance ?LOFT StationaryArtifact)             (orientation ?LOFT ?FLOOR Above)             (orientation ?LOFT ?CEILING Below))))	Hotel.kif 1165-1173	If loft style is an attribute of X, then there exist Y, Z, W such that the bottom of X is Y, the top of X is W, Z is an instance of stationary artifact, Z is above to Y, and Z is below to W
(=>     (and         (instance ?P ThreeDPrinting)         (instance ?O Artifact)         (result ?P ?O))     (exists (?A ?X ?B ?Y)         (and             (instance ?A Making)             (subProcess ?A ?P)             (instance ?X SelfConnectedObject)             (part ?X ?O)             (result ?A ?X)             (instance ?B Making)             (subProcess ?B ?P)             (instance ?Y SelfConnectedObject)             (part ?Y ?O)             (overlapsSpatially ?X ?Y)             (orientation ?X ?Y Below)             (during                 (WhenFn ?A)                 (WhenFn ?P))             (during                 (WhenFn ?B)                 (WhenFn ?P))             (earlier                 (WhenFn ?A)                 (WhenFn ?B)))))	QoSontology.kif 523-549	If X is an instance of 3D printing, Y is an instance of artifact, and Y is a result of X, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of making (3) Z is a subprocess of X (4) W is an instance of self connected object (5) W is a part of Y (6) W is a result of Z (7) V is an instance of making (8) V is a subprocess of X (9) U is an instance of self connected object (10) U is a part of Y (11) W (12) U overlapsSpatially (13) W is below to U (14) the time of existence of Z takes place during the time of existence of X (15) the time of existence of V takes place during the time of existence of X (16) the time of existence of Z happens earlier than the time of existence of V
(=>     (instance ?X SubwaySystem)     (exists (?SURF)         (and             (surface ?SURF GeographicArea)             (orientation ?X ?SURF Below))))	Transportation.kif 328-333	If X is an instance of subway, then there exists Y such that Y is a surface of geographic area and X is below to Y
(=>     (and         (instance ?OF OccludedFront)         (instance ?C AirMass)         (origin ?OF ?C)         (airTemperature ?C             (MeasureFn ?X CelsiusDegree))         (instance ?W AirMass)         (airTemperature ?W             (MeasureFn ?Y CelsiusDegree))         (lessThan ?X ?Y)         (moves ?OF ?W))     (orientation ?C ?W Below))	Weather.kif 1342-1354	If All of the following hold: (1) X is an instance of occluded front (2) Y is an instance of air mass (3) X originates at Y (4) Z celsius degree(s) is an air temperature of Y (5) W is an instance of air mass (6) V celsius degree(s) is an air temperature of W (7) Z is less than V (8) W moves during X, then Y is below to W

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