consequent

(=>     (instance ?C Crater)     (exists (?HOST ?EVENT ?METEOR ?BOMB)         (and             (hole ?C ?HOST)             (superficialPart ?SURF                 (HoleHostFn ?C))             (or                 (and                     (instance ?EVENT Impacting)                     (instrument ?EVENT ?METEOR)                     (instance ?METEOR Meteorite))                 (and                     (instance ?EVENT Explosion)                     (instrument ?EVENT ?BOMB)                     (instance ?BOMB Bomb))                 (instance ?EVENT VolcanicEruption))             (result ?EVENT ?C))))	Merge.kif 1059-1075	If X is an instance of crater, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that X is a hole in Y (3) U is a superficial part of the host of the hole X (4) Z is an instance of impacting (5) W is an instrument for Z (6) W is an instance of meteorite or Z is an instance of explosion (7) V is an instrument for Z (8) V is an instance of bomb or Z is an instance of volcanic eruption (9) X is a result of Z
(=>     (surface ?OBJ1 ?OBJ2)     (forall (?OBJ3)         (=>             (superficialPart ?OBJ3 ?OBJ2)             (part ?OBJ3 ?OBJ1))))	Merge.kif 9910-9915	If X is a surface of Y, then For all Object Z: if Z is a superficial part of Y, then Z is a part of X
(=>     (interiorPart ?OBJ1 ?OBJ2)     (forall (?PART)         (=>             (superficialPart ?PART ?OBJ2)             (not                 (overlapsSpatially ?OBJ1 ?PART)))))	Merge.kif 9926-9932	If X is a interior part of Y, then For all Object Z: if Z is a superficial part of Y, then X and Z doesn't overlapsSpatially
(=>     (equal ?OBJ1         (HoleSkinFn ?HOLE))     (=>         (overlapsSpatially ?OBJ2 ?OBJ1)         (exists (?OBJ3)             (and                 (superficialPart ?OBJ3                     (HoleHostFn ?HOLE))                 (meetsSpatially ?HOLE ?OBJ3)                 (overlapsSpatially ?OBJ2 ?OBJ3)))))	Merge.kif 10302-10310	Assuming equal X and the surface of the hole Y, it follows that: if Z and X overlapsSpatially, then there exists W such that W is a superficial part of the host of the hole Y, Y meets W, Z, and W overlapsSpatially
(=>     (equal ?OBJ1         (HoleSkinFn ?HOLE))     (=>         (and             (superficialPart ?OBJ3                 (HoleHostFn ?HOLE))             (meetsSpatially ?HOLE ?OBJ3)             (overlapsSpatially ?OBJ2 ?OBJ3))         (overlapsSpatially ?OBJ2 ?OBJ1)))	Merge.kif 10312-10319	Assuming equal X and the surface of the hole Y, it follows that: if Z is a superficial part of the host of the hole Y, Y meets Z, and W and Z overlapsSpatially, then W and X overlapsSpatially
(=>     (and         (instance ?ALT SurfaceChange)         (patient ?ALT ?OBJ))     (exists (?PART ?PROPERTY)         (and             (superficialPart ?PART ?OBJ)             (or                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?ALT))                         (attribute ?PART ?PROPERTY))                     (holdsDuring                         (EndFn                             (WhenFn ?ALT))                         (not                             (attribute ?PART ?PROPERTY))))                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?ALT))                         (not                             (attribute ?PART ?PROPERTY)))                     (holdsDuring                         (EndFn                             (WhenFn ?ALT))                         (attribute ?PART ?PROPERTY)))))))	Merge.kif 12906-12919	If X is an instance of surface change and Y is a patient of X, then there exist Z and W such that Z is a superficial part of Y and W is an attribute of Z holds during the beginning of the time of existence of X and W is not an attribute of Z holds during the end of the time of existence of X or W is not an attribute of Z holds during the beginning of the time of existence of X and W is an attribute of Z holds during the end of the time of existence of X
(=>     (instance ?COVER BodyCovering)     (exists (?BODY)         (and             (superficialPart ?COVER ?BODY)             (or                 (instance ?BODY Organism)                 (instance ?BODY BodyPart)))))	Merge.kif 15373-15380	If X is an instance of body covering, then there exists Y such that X is a superficial part of Y and Y is an instance of organism or Y is an instance of body part
(=>     (and         (attribute ?OBJ Monochromatic)         (superficialPart ?PART ?OBJ)         (attribute ?PART ?COLOR)         (instance ?COLOR PrimaryColor))     (forall (?ELEMENT)         (=>             (superficialPart ?ELEMENT ?OBJ)             (attribute ?ELEMENT ?COLOR))))	Merge.kif 18045-18054	If monochromatic is an attribute of X, Y is a superficial part of X, Z is an attribute of Y, and Z is an instance of primary color, then For all Object W: if W is a superficial part of X, then Z is an attribute of W
(=>     (attribute ?OBJ Polychromatic)     (exists (?PART1 ?PART2 ?COLOR1 ?COLOR2)         (and             (superficialPart ?PART1 ?OBJ)             (superficialPart ?PART2 ?OBJ)             (attribute ?PART1 ?COLOR1)             (attribute ?PART2 ?COLOR2)             (instance ?COLOR1 ColorAttribute)             (instance ?COLOR2 ColorAttribute)             (not                 (equal ?COLOR1 ?COLOR2)))))	Merge.kif 18067-18077	If polychromatic is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a superficial part of X (3) Z is a superficial part of X (4) W is an attribute of Y (5) V is an attribute of Z (6) W is an instance of color attribute (7) V is an instance of color attribute (8) equal W (9) V
(=>     (instance ?G Shotgun)     (exists (?B ?P)         (and             (instance ?B GunBore)             (properPart ?B ?G)             (superficialPart ?P ?B)             (orientation ?P ?B Inside)             (attribute ?P Smooth))))	Mid-level-ontology.kif 2012-2020	If X is an instance of shot gun, then there exist Y, Z such that Y is an instance of gun bore, Y is a proper part of X, Z is a superficial part of Y, Z is inside the to Y, and smooth is an attribute of Z
(=>     (instance ?G Rifle)     (exists (?B ?P)         (and             (instance ?B GunBore)             (properPart ?B ?G)             (superficialPart ?P ?B)             (orientation ?P ?B Inside)             (not                 (attribute ?P Smooth)))))	Mid-level-ontology.kif 2029-2038	If X is an instance of rifle, then there exist Y, Z such that Y is an instance of gun bore, Y is a proper part of X, Z is a superficial part of Y, Z is inside the to Y, and smooth is not an attribute of Z
(=>     (instance ?REGION Region)     (superficialPart         (OuterBoundaryFn ?REGION) ?REGION))	Mid-level-ontology.kif 13734-13736	If X is an instance of region, then the outer boundary of X is a superficial part of X
(=>     (and         (instance ?SMOOTH Smoothing)         (patient ?SMOOTH ?OBJ))     (exists (?PART)         (and             (superficialPart ?PART ?OBJ)             (holdsDuring                 (EndFn                     (WhenFn ?SMOOTH))                 (attribute ?PART Smooth)))))	Mid-level-ontology.kif 27540-27549	If X is an instance of smoothing and Y is a patient of X, then there exists Z such that Z is a superficial part of Y and smooth is an attribute of Z holds during the end of the time of existence of X
(=>     (and         (instance ?P Roughening)         (patient ?P ?OBJ))     (exists (?PART)         (and             (superficialPart ?PART ?OBJ)             (holdsDuring                 (EndFn                     (WhenFn ?P))                 (attribute ?PART Rough)))))	Mid-level-ontology.kif 27556-27565	If X is an instance of roughening and Y is a patient of X, then there exists Z such that Z is a superficial part of Y and rough is an attribute of Z holds during the end of the time of existence of X
(=>     (and         (instance ?I Ironing)         (patient ?I ?OBJ))     (exists (?HEAT ?IRON ?PART)         (and             (superficialPart ?PART ?OBJ)             (instance ?HEAT Heating)             (patient ?HEAT ?IRON)             (patient ?I ?PART)             (instrument ?I ?IRON))))	Mid-level-ontology.kif 27572-27582	If X is an instance of ironing and Y is a patient of X, then there exist Z, W, V such that V is a superficial part of Y, Z is an instance of heating, W is a patient of Z, V is a patient of X, and W is an instrument for X
(=>     (and         (instance ?A Region)         (instance ?B Region)         (contains ?B ?A)         (orientation ?A ?B Inside)         (tangentialProperPart ?A ?B))     (exists (?X ?Y)         (and             (instance ?X PointInSpace)             (superficialPart ?X ?B)             (instance ?Y PointInSpace)             (superficialPart ?Y ?A)             (meetsSpatially ?X ?Y))))	Geography.kif 705-718	If X is an instance of region, Y is an instance of region, Y contains X, X is inside the to Y, and X is a tangentialProperPart of Y, then there exist Z, W such that Z is an instance of point in space, Z is a superficial part of Y, W is an instance of point in space, W is a superficial part of X, and Z meets W
(=>     (and         (instance ?A Region)         (instance ?B Region)         (contains ?B ?A)         (orientation ?A ?B Inside)         (nonTangentialProperPart ?A ?B))     (exists (?X ?Y)         (and             (instance ?X PointInSpace)             (superficialPart ?X ?B)             (instance ?Y PointInSpace)             (superficialPart ?Y ?A)             (not                 (meetsSpatially ?X ?Y)))))	Geography.kif 732-746	If X is an instance of region, Y is an instance of region, Y contains X, X is inside the to Y, and X is a nonTangentialProperPart of Y, then there exist Z, W such that Z is an instance of point in space, Z is a superficial part of Y, W is an instance of point in space, W is a superficial part of X, and Z doesn't meet W
(=>     (instance ?REGION Region)     (superficialPart         (InnerBoundaryFn ?REGION) ?REGION))	Geography.kif 2274-2276	If X is an instance of region, then the inner boundary of X is a superficial part of X
(=>     (and         (elevation ?OBJECT ?HEIGHT)         (located ?OBJECT ?PLACE)         (instance ?PLACE GeographicArea))     (superficialPart ?PLACE PlanetEarth))	Geography.kif 3358-3363	If X is an elevation of Y, Y is located at Z, and Z is an instance of geographic area, then Z is a superficial part of planet earth

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