consequent

(=>     (and         (elevation ?OBJECT             (MeasureFn ?NUM ?UNIT))         (instance ?UNIT UnitOfLength)         (instance ?OBJECT LandForm))     (exists (?HIGHPOINT)         (and             (top ?HIGHPOINT ?OBJECT)             (distance ?HIGHPOINT SeaLevel                 (MeasureFn ?NUM ?UNIT)))))	Geography.kif 3377-3385	If X Y(s) is an elevation of Z, Y is an instance of unit of length, and Z is an instance of land form, then there exists W such that the top of Z is W and the distance between W and sea level is X Y(s)
(=>     (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 5665-5676	If X is an instance of sloped area, then there exist Y, Z,, , W,, , V and U such that the top of X is Y and the bottom of X is Z and U is an instance of unit of length and Y is W U(s) above the ground and Z is V U(s) above the ground and W is greater than V
(=>     (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
(=>     (altitude ?OBJ1 ?OBJ2 ?HEIGHT)     (exists (?TOP)         (and             (top ?TOP ?OBJ1)             (distance ?TOP ?OBJ2 ?HEIGHT))))	Merge.kif 7824-7829	If the altitude of X relative to Y is Z, then there exists W such that the top of X is W, the distance between W, and Y is Z
(=>     (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 3303-3316	If level shape is an attribute of X, then there don't exist Y, Z,, , W,, , V,, , U and T such that the top of X is W and Y is a part of W and Z is a part of W and T is an instance of unit of length and the height of Y is V T(s) and the height of Z is U T(s) and V is greater than U
(=>     (instance ?L Lid)     (exists (?C)         (and             (instance ?C Container)             (part ?L ?C)             (capability Closing instrument ?L)             (capability Opening instrument ?L)             (top ?L ?C))))	Mid-level-ontology.kif 4479-4487	If X is an instance of lid, then there exists Y such that Y is an instance of container, X is a part of Y, X is capable of doing closing as a instrument, X is capable of doing opening as a instrument, and the top of Y is X
(=>     (instance ?BOX Box)     (equal         (CardinalityFn             (KappaFn ?SIDE                 (or                     (top ?SIDE ?BOX)                     (bottom ?SIDE ?BOX)                     (side ?SIDE ?BOX)))) 6))	Mid-level-ontology.kif 4938-4946	If X is an instance of box, then equal the number of instances in the class described by Y and 6
(=>     (instance ?C Ceiling)     (exists (?R)         (and             (top ?C ?R)             (instance ?R Room))))	Mid-level-ontology.kif 16838-16843	If X is an instance of ceiling, then there exists Y such that the top of Y is X and Y is an instance of room
(=>     (instance ?ROOF Roof)     (exists (?BUILDING)         (and             (instance ?BUILDING Building)             (top ?ROOF ?BUILDING))))	Mid-level-ontology.kif 16848-16853	If X is an instance of roof, then there exists Y such that Y is an instance of building and the top of Y is X
(=>     (and         (instance ?REVERSE Reversing)         (patient ?REVERSE ?OBJ)         (holdsDuring             (BeginFn                 (WhenFn ?REVERSE))             (and                 (top ?TOP ?OBJ)                 (bottom ?BOTTOM ?OBJ))))     (holdsDuring         (EndFn             (WhenFn ?REVERSE))         (and             (top ?BOTTOM ?OBJ)             (bottom ?TOP ?OBJ))))	Mid-level-ontology.kif 19385-19390	If X is an instance of reversing, Y is a patient of X, and the top of Y is Z and the bottom of Y is W holds during the beginning of the time of existence of X, then the top of Y is W and the bottom of Y is Z holds during the end of the time of existence of X
(=>     (waterDepth ?AREA ?DEPTH)     (exists (?BOTTOM ?TOP)         (and             (depth ?TOP ?BOTTOM ?DEPTH)             (top ?TOP ?AREA)             (bottom ?BOTTOM ?AREA))))	Mid-level-ontology.kif 19440-19446	If X is a water depth of Y, then there exist Z, W such that the depth from W to Z is X, the top of Y is W, and the bottom of Y is Z
(=>     (instance ?X Courtyard)     (and         (not             (exists (?ROOF)                 (and                     (instance ?ROOF Roof)                     (top ?ROOF ?X))))         (exists (?BLDG)             (and                 (instance ?BLDG Building)                 (orientation ?X ?BLDG Surrounded)))))	Mid-level-ontology.kif 28669-28680	If X is an instance of courtyard, then there doesn't exist Y such that Y is an instance of roof and the top of X is Y and there exists Z such that Z is an instance of building and X is surrounded by to Z
(=>     (instance ?HOLE GolfHole)     (exists (?C ?CIR)         (and             (shape ?HOLE Cylinder)             (top ?C ?HOLE)             (instance ?C Region)             (shape ?C ?CIR)             (equal ?CIR Circle)             (diameter ?CIR                 (MeasureFn 4.25 Inch)))))	Sports.kif 976-986	If X is an instance of golf hole, then there exist Y and Z such that X is cylinder and the top of X is Y and Y is an instance of region and Y is Z and equal Z and circle and the diameter of Z is 4.25 inch(s)
(=>     (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 2541-2551	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 2583-2595	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
(=>     (and         (instance ?T Tornado)         (instance ?R Rotating)         (instance ?A Air)         (instance ?TRAN Translocation)         (subProcess ?R ?T)         (subProcess ?TRAN ?R)         (patient ?TRAN ?A)         (direction ?TRAN Horizontal))     (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)         (and             (instance ?G GeographicArea)             (eventLocated ?T ?G)             (part ?FUNNEL ?A)             (attribute ?FUNNEL ConeSegment)             (top ?TOP ?FUNNEL)             (bottom ?BOTTOM ?FUNNEL)             (instance ?C Cloud)             (bottom ?BASE ?C)             (meetsSpatially ?TOP ?BASE)             (meetsSpatially ?BOTTOM ?G))))	Weather.kif 2975-2996	If All of the following hold: (1) X is an instance of tornado (2) Y is an instance of rotating (3) Z is an instance of air (4) W is an instance of translocation (5) Y is a subprocess of X (6) W is a subprocess of Y (7) Z is a patient of W (8) entities in the process W are moving horizontal to, then All of the following hold: (1) there exist V, U,, , T,, , S,, , R (2) Q such that V is an instance of geographic area (3) X is located at V (4) U is a part of Z (5) cone segment is an attribute of U (6) the top of U is T (7) the bottom of U is S (8) R is an instance of cloud (9) the bottom of R is Q (10) T meets Q (11) S meets V
(=>     (rainfallIntensity ?AREA ?TIME ?RATE)     (exists (?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL)         (and             (instance ?RAIN Raining)             (eventLocated ?RAIN ?AREA)             (during                 (WhenFn ?RAIN) ?TIME)             (instance ?CLTN Collection)             (objectTransferred ?RAIN ?CLTN)             (instance ?R Water)             (member ?R ?CLTN)             (instance ?BUCKET Container)             (bottom ?BOTTOM ?BUCKET)             (attribute ?BOTTOM Flat)             (located ?BUCKET ?AREA)             (holdsDuring                 (BeginFn ?TIME)                 (attribute ?BUCKET ContainerEmpty))             (holdsDuring                 (EndFn ?TIME)                 (and                     (located ?CLTN ?BUCKET)                     (top ?TOP ?CLTN)                     (depth ?TOP ?BOTTOM ?RAINFALL)                     (equal ?RAINFALL                         (MultiplicationFn ?TIME ?RATE)))))))	Weather.kif 4142-4167	If the rate of rain in X during Y is Z, then All of the following hold: (1) there exist W, V,, , U,, , T,, , S,, , R (2) Q such that W is an instance of raining (3) W is located at X (4) the time of existence of W takes place during Y (5) V is an instance of collection (6) the object transferred in W is V (7) U is an instance of water (8) U is a member of V (9) T is an instance of container (10) the bottom of T is R (11) flat is an attribute of R (12) T is located at X (13) container empty is an attribute of T holds during the beginning of Y (14) V is located at T (15) the top of V is S (16) the depth from S to R is Q (17) equal Q (18) Y (19) Z holds during the end of Y
(=>     (snowfallIntensity ?AREA ?TIME ?RATE)     (exists (?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL)         (and             (instance ?PROCESS Snowing)             (eventLocated ?PROCESS ?AREA)             (during                 (WhenFn ?PROCESS) ?TIME)             (instance ?STUFF Snow)             (objectTransferred ?PROCESS ?STUFF)             (instance ?BOARD BoardOrBlock)             (bottom ?BOTTOM ?BOARD)             (attribute ?BOTTOM Flat)             (located ?BOARD ?AREA)             (holdsDuring                 (BeginFn ?TIME)                 (not                     (exists (?X)                         (and                             (instance ?X Object)                             (located ?X ?BOARD)))))             (holdsDuring                 (EndFn ?TIME)                 (and                     (located ?STUFF ?BOARD)                     (top ?TOP ?STUFF)                     (depth ?TOP ?BOTTOM ?SNOWFALL)                     (equal ?SNOWFALL                         (MultiplicationFn ?TIME ?RATE)))))))	Weather.kif 4347-4374	If the rate of snow falling at X during Y is Z, then All of the following hold: (1) there exist W, V,, , U,, , T,, , S (2) R such that W is an instance of snowing (3) W is located at X (4) the time of existence of W takes place during Y (5) V is an instance of snow (6) the object transferred in W is V (7) U is an instance of board or block (8) the bottom of U is S (9) flat is an attribute of S (10) U is located at X (11) there doesn't exist Q such that Q is an instance of object (12) Q is located at U holds during the beginning of Y (13) V is located at U (14) the top of V is T (15) the depth from T to S is R (16) equal R (17) Y (18) Z holds during the end of Y

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