consequent

(=>     (and         (instance ?PAINT Painting)         (patient ?PAINT ?SURFACE)         (resource ?PAINT ?STUFF))     (exists (?OBJ)         (and             (surface ?SURFACE ?OBJ)             (instance ?STUFF Paint))))	Mid-level-ontology.kif 3795-3803	If X is an instance of painting, Y is a patient of X, and Z is a resource for X, then there exists W such that Y is a surface of W and Z is an instance of paint
(=>     (instance ?PD PaintingDevice)     (hasPurpose ?PD         (exists (?STUFF ?COVER ?SURF ?OBJ)             (and                 (instance ?STUFF Substance)                 (instance ?COVER Covering)                 (instance ?OBJ Object)                 (surface ?SURF ?OBJ)                 (agent ?COVER ?PD)                 (instrument ?COVER ?STUFF)                 (patient ?COVER ?SURF)))))	Mid-level-ontology.kif 3874-3885	If X is an instance of painting device, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of substance (3) Z is an instance of covering (4) V is an instance of object (5) W is a surface of V (6) X is an agent of Z (7) Y is an instrument for Z (8) W is a patient of Z
(=>     (instance ?X LandVehicle)     (hasPurpose ?X         (exists (?EV ?SURF)             (and                 (surface ?SURF GeographicArea)                 (instance ?EV Transportation)                 (holdsDuring                     (WhenFn ?EV)                     (meetsSpatially ?X ?SURF))))))	Mid-level-ontology.kif 4099-4108	If X is an instance of land vehicle, then X has the purpose there exist Y, Z such that Z is a surface of geographic area, Y is an instance of transportation, and X meets Z holds during the time of existence of Y
(=>     (instance ?B Bubble)     (exists (?S)         (and             (surface ?S ?B)             (attribute ?S Liquid))))	Mid-level-ontology.kif 6098-6103	If X is an instance of bubble, then there exists Y such that Y is a surface of X and liquid is an attribute of Y
(=>     (instance ?DETERGENT Detergent)     (hasPurpose ?DETERGENT         (exists (?REMOVE ?SUBSTANCE ?SURFACE ?OBJECT)             (and                 (instance ?REMOVE Removing)                 (instance ?SUBSTANCE Substance)                 (patient ?REMOVE ?SUBSTANCE)                 (origin ?REMOVE ?SURFACE)                 (surface ?SURFACE ?OBJECT)))))	Mid-level-ontology.kif 10215-10224	If X is an instance of detergent, then X has the purpose there exist Y, Z,, , W, V such that Y is an instance of removing, Z is an instance of substance, Z is a patient of Y, Y originates at W, and W is a surface of V
(=>     (equal         (MeasureFn ?X PoundForce)         (JankaHardnessFn ?CLASS))     (modalAttribute         (exists (?T ?W ?P ?B ?H ?S)             (and                 (instance ?T ?CLASS)                 (part ?W ?T)                 (instance ?W Wood)                 (instance ?P Pushing)                 (destination ?P ?W)                 (instance ?B Ball)                 (material ?B Steel)                 (patient ?P ?B)                 (sphereRadius ?B                     (MeasureFn 5.64 Millimeter))                 (result ?P ?H)                 (instance ?H HoleRegion)                 (part ?H ?W)                 (surface ?S ?W)                 (distance ?S ?H                     (MeasureFn 5.64 Millimeter))                 (measure ?P                     (MeasureFn ?X PoundForce)))) Likely))	Mid-level-ontology.kif 10569-10592	If equal X pound force(s) and The Janka Hardness of Y is, then the statement there exist Z, W,, , V,, , U,, , T and S such that Z is an instance of Y and W is a part of Z and W is an instance of wood and V is an instance of pushing and V ends up at W and U is an instance of ball and steel is made of U and U is a patient of V and the radius of U is 5.64 millimeter(s) and T is a result of V and T is an instance of hole and T is a part of W and S is a surface of W and the distance between S and T is 5.64 millimeter(s) and the measure of V is X pound force(s) has the modal force of likely
(=>     (equal         (MeasureFn             (PerFn                 (MeasureFn ?F KilogramForce)                 (MeasureFn ?A SquareMillimeter)) VickersPyramidNumber)         (VickersHardnessFn ?CLASS))     (modalAttribute         (exists (?SUB ?P ?D ?H ?S)             (and                 (instance ?SUB ?CLASS)                 (instance ?P Pushing)                 (destination ?P ?SUB)                 (instance ?D Diamond)                 (shape ?D SquarePyramid)                 (patient ?P ?D)                 (result ?P ?H)                 (instance ?H HoleRegion)                 (part ?H ?SUB)                 (surface ?S ?H)                 (totalArea ?S                     (MeasureFn ?A SquareMillimeter))                 (measure ?P                     (MeasureFn ?F KilogramForce)))) Likely))	Mid-level-ontology.kif 10641-10662	If equal the per of X kilogram force(s) and Y square millimeter(s) Vickers pyramid number(s) and The Vickers Hardness of Z is, then the statement there exist W, V,, , U,, , T and S such that W is an instance of Z and V is an instance of pushing and V ends up at W and U is an instance of diamond and U is square pyramid and U is a patient of V and T is a result of V and T is an instance of hole and T is a part of W and S is a surface of T and Y square millimeter(s) is a total area of S and the measure of V is X kilogram force(s) has the modal force of likely
(=>     (instance ?L Lesion)     (exists (?S ?O)         (and             (surface ?S ?O)             (instance ?O Organ)             (located ?L ?S))))	Mid-level-ontology.kif 10888-10894	If X is an instance of lesion, then there exist Y, Z such that Y is a surface of Z, Z is an instance of organ, and X is located at Y
(=>     (instance ?SKIN Skin)     (exists (?SURFACE ?ANIMAL)         (and             (surface ?SURFACE ?ANIMAL)             (part ?SKIN ?ANIMAL)             (instance ?ANIMAL Animal)             (overlapsSpatially ?SKIN ?SURFACE))))	Mid-level-ontology.kif 12469-12476	If X is an instance of skin, then there exist Y, Z such that Y is a surface of Z, X is a part of Z, Z is an instance of animal, X, and Y overlapsSpatially
(=>     (instance ?P PeelOrRind)     (exists (?X)         (and             (part ?P ?X)             (instance ?X FruitOrVegetable)             (surface ?P ?X))))	Food.kif 2322-2328	If X is an instance of peel or rind, then there exists Y such that X is a part of Y, Y is an instance of fruit or vegetable, and X is a surface of Y
(<=>     (earthAltitude ?OBJ ?ALT)     (exists (?SEA)         (and             (altitude ?OBJ ?SEA ?ALT)             (surface ?SEA PlanetEarth))))	Geography.kif 4213-4218	X is Y above the ground if, only if there exists Z such that the altitude of X relative to Z is Y, and Z is a surface of planet earth
(=>     (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
(=>     (and         (instance ?LD LiquidDrop)         (surface ?S ?LD))     (modalAttribute         (exists (?SS ?LL)             (and                 (instance ?LL Substance)                 (attribute ?LL Liquid)                 (not                     (equal ?LD ?LL))                 (surface ?SS ?LL)                 (meetsSpatially ?S ?SS))) Unlikely))	Geography.kif 9098-9110	If X is an instance of liquid drop and Y is a surface of X, then All of the following hold: (1) the statement there exist Z (2) W such that W is an instance of substance (3) liquid is an attribute of W (4) equal X (5) W (6) Z is a surface of W (7) Y meets Z has the modal force of unlikely
(=>     (and         (instance ?MEASURE Measuring)         (patient ?MEASURE ?OBJ)         (result ?MEASURE ?QUANTITY)         (instrument ?MEASURE ?ABSOLUTEMETER)         (instance ?ABSOLUTEMETER AbsoluteAltimeter))     (exists (?OBJ2)         (and             (altitude ?OBJ ?OBJ2 ?QUANTITY)             (surface ?OBJ2 PlanetEarth))))	MilitaryDevices.kif 1598-1608	If X is an instance of measuring, Y is a patient of X, Z is a result of X, W is an instrument for X, and W is an instance of absolute altimeter, then there exists V such that the altitude of Y relative to V is Z and V is a surface of planet earth
(=>     (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
(=>     (instance ?W CellWall)     (exists (?CELL ?SURF)         (and             (instance ?CELL Cell)             (part ?W ?CELL)             (surface ?SURF ?CELL)             (part ?SURF ?W))))	VirusProteinAndCellPart.kif 455-462	If X is an instance of cell wall, then there exist Y, Z such that Y is an instance of cell, X is a part of Y, Z is a surface of Y, and Z is a part of X
(=>     (instance ?OBJ1 VirusCoreEnvelope)     (exists (?OBJ2)         (and             (surface ?OBJ1 ?OBJ2)             (instance ?OBJ2 ViralCore))))	VirusProteinAndCellPart.kif 1191-1196	If X is an instance of virus core envelope, then there exists Y such that X is a surface of Y and Y is an instance of viral core

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