consequent

(=>     (and         (instance ?MEET Meeting)         (agent ?MEET ?AGENT1)         (agent ?MEET ?AGENT2))     (holdsDuring         (WhenFn ?MEET)         (orientation ?AGENT1 ?AGENT2 Near)))	Merge.kif 13590-13597	If X is an instance of meeting, Y is an agent of X, and Z is an agent of X, then Y is near to Z holds during the time of existence of X
(<=>     (orientation ?OBJ1 ?OBJ2 Adjacent)     (or         (orientation ?OBJ1 ?OBJ2 Near)         (connected ?OBJ1 ?OBJ2)))	Merge.kif 17457-17461	X is adjacent to Y if and only if X is near to Y or X is connected to Y
(=>     (orientation ?OBJ1 ?OBJ2 Near)     (orientation ?OBJ2 ?OBJ1 Near))	Merge.kif 17491-17493	If X is near to Y, then Y is near to X
(=>     (instance ?X Hammock)     (and         (material Fabric ?X)         (exists (?POLE1 ?POLE2 ?GROUND)             (and                 (orientation ?POLE1 ?POLE2 Near)                 (connected ?POLE1 ?X)                 (connected ?POLE2 ?X)                 (instance ?GROUND LandArea)                 (located ?X ?GROUND)                 (orientation ?X ?GROUND Above)))))	Mid-level-ontology.kif 4604-4615	If X is an instance of hammock, then X is made of fabric and All of the following hold: (1) there exist Y, Z (2) W such that Y is near to Z (3) Y is connected to X (4) Z is connected to X (5) W is an instance of land area (6) X is located at W (7) X is above to W
(=>     (neighbor ?PERSON1 ?PERSON2)     (exists (?HOME1 ?HOME2)         (and             (home ?PERSON1 ?HOME1)             (home ?PERSON2 ?HOME2)             (not                 (equal ?HOME1 ?HOME2))             (orientation ?HOME1 ?HOME2 Near))))	Mid-level-ontology.kif 7759-7766	If X is a neighbor of Y, then there exist Z, W such that the home of Y is Z, the home of X is W, equal Z, W, and Z is near to W
(=>     (instance ?SIDE Sidewalk)     (exists (?ROAD)         (and             (instance ?ROAD Roadway)             (orientation ?SIDE ?ROAD Near))))	Mid-level-ontology.kif 17261-17266	If X is an instance of sidewalk, then there exists Y such that Y is an instance of roadway and X is near to Y
(=>     (and         (instance ?E Eyebrow)         (attribute ?H Healthy)         (part ?E ?H))     (exists (?EYE)         (and             (instance ?EYE Eye)             (part ?EYE ?H)             (orientation ?EYE ?E Near))))	Anatomy.kif 1461-1470	If X is an instance of eyebrow, healthy is an attribute of Y, and X is a part of Y, then there exists Z such that Z is an instance of eye, Z is a part of Y, and Z is near to X
(=>     (and         (instance ?X CarAlarm)         (instance ?CAR SelfPoweredRoadVehicle)         (part ?X ?CAR))     (exists (?HARM ?THIEF ?T ?L)         (hasPurpose ?X             (=>                 (and                     (or                         (instance ?HARM Stealing)                         (instance ?HARM Damaging))                     (instance ?THIEF Human)                     (agent ?HARM ?THIEF)                     (patient ?HARM ?CAR)                     (equal                         (WhenFn ?HARM) ?T)                     (eventPartlyLocated ?HARM ?L))                 (exists (?ALARM ?WITNESS)                     (and                         (instance ?ALARM RadiatingSound)                         (agent ?ALARM ?X)                         (causes ?HARM ?ALARM)                         (hasPurpose ?ALARM                             (increasesLikelihood                                 (and                                     (instance ?WITNESS Human)                                     (holdsDuring ?T                                         (orientation ?WITNESS ?L Near)))                                 (or                                     (knows ?WITNESS                                         (exists (?H)                                             (and                                                 (or                                                     (instance ?H Stealing)                                                     (instance ?H Damaging))                                                 (eventPartlyLocated ?H ?L)                                                 (holdsDuring ?T                                                     (patient ?H ?CAR)))))                                     (finishes                                         (WhenFn ?ALARM)                                         (WhenFn ?HARM)))))))))))	Cars.kif 3578-3618	If X is an instance of car alarm, Y is an instance of self powered road vehicle, and X is a part of Y, then All of the following hold: (1) there exist Z, W,, , V (2) U such that X has the purpose Z is an instance of stealing or Z is an instance of damaging (3) W is an instance of human (4) W is an agent of Z (5) Y is a patient of Z (6) equal the time of existence of Z (7) V (8) Z is partly located at Uthere exist T (9) S such that T is an instance of radiating sound (10) X is an agent of T (11) Z causes T (12) T has the purpose S is an instance of human (13) S is near to U holds during V increases likelihood of S knows there exists R such that R is an instance of stealing or R is an instance of damaging (14) R is partly located at U (15) Y is a patient of R holds during V or the time of existence of T finishes the time of existence of Z
(=>     (orientation ?ONE ?TWO Near)     (orientation ?TWO ?ONE Near))	Geography.kif 2191-2193	If X is near to Y, then Y is near to X
(=>     (instance ?X Checkpoint)     (or         (exists (?ROAD)             (and                 (instance ?ROAD Road)                 (orientation ?ROAD ?X Near)))         (exists (?REG1 ?REG2)             (orientation                 (BorderFn ?REG1 ?REG2) ?X Near))))	Geography.kif 2213-2221	If X is an instance of checkpoint, then there exists Y such that Y is an instance of road and Y is near to X or there exist Z, W such that the border of Z, and W is near to X
(=>     (instance ?Reef Reef)     (exists (?Water)         (and             (instance ?Water WaterArea)             (orientation ?Reef ?Water Near))))	Geography.kif 7542-7547	If X is an instance of reef, then there exists Y such that Y is an instance of water area and X is near to Y
(=>     (nearOrientation ?OBJ1 ?OBJ2)     (exists (?X)         (and             (instance ?X ?OBJ2)             (orientation ?OBJ1 ?X Near))))	Hotel.kif 918-923	If X is near Y, then there exists Z such that Z is an instance of Y and X is near to Z
(=>     (and         (instance ?C InPersonCommunication)         (agent ?C ?A1)         (agent ?C ?A2)         (not             (equal ?A1 ?A2)))     (holdsDuring ?C         (orientation ?A1 ?A2 Near)))	Media.kif 218-225	If X is an instance of in person communication, Y is an agent of X, Z is an agent of X, and equal Y and Z, then Y is near to Z holds during X
(=>     (and         (instance ?A             (BodyAreaFn ?OC))         (instance ?H Animal)         (part ?A ?H))     (exists (?O)         (and             (instance ?O ?OC)             (orientation ?A ?O Near)             (part ?O ?H))))	Medicine.kif 6268-6277	If X is an instance of body area Y, Z is an instance of animal, and X is a part of Z, then there exists W such that W is an instance of Y, X is near to W, and W is a part of Z
(=>     (instance ?PORT PortCity)     (exists (?SEA)         (and             (or                 (instance ?SEA Sea)                 (instance ?SEA Ocean))             (or                 (orientation ?PORT ?SEA Adjacent)                 (orientation ?PORT ?SEA Near)))))	Transportation.kif 841-850	If X is an instance of port city, then there exists Y such that Y is an instance of sea, Y is an instance of ocean and X is adjacent to Y, or X is near to Y
(=>     (instance ?PORT SeaPort)     (exists (?SEA)         (and             (or                 (instance ?SEA Sea)                 (instance ?SEA Ocean))             (or                 (orientation ?PORT ?SEA Adjacent)                 (orientation ?PORT ?SEA Near)))))	Transportation.kif 873-882	If X is an instance of sea port, then there exists Y such that Y is an instance of sea, Y is an instance of ocean and X is adjacent to Y, or X is near to Y
(=>     (and         (attribute ?G ToxicandInfectiousSubstance)         (or             (instance ?G Substance)             (instance ?G Microorganism)))     (exists (?O ?P ?I ?CLASS)         (and             (or                 (instance ?O Human)                 (instance ?O Animal))             (orientation ?G ?O Near)             (or                 (instance ?P Inhaling)                 (instance ?P Ingesting)                 (instance ?P Touching))             (agent ?P ?O)             (patient ?P ?G)             (causes ?P ?I)             (patient ?I ?O)             (instance ?I ?CLASS)             (capability ?CLASS resource ?G)             (or                 (subclass ?CLASS Injuring)                 (subclass ?CLASS Death)))))	Transportation.kif 4743-4767	If toxic and infectious substance is an attribute of X and X is an instance of substance or X is an instance of microorganism, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of human or Y is an instance of animal (3) X is near to Y (4) Z is an instance of inhaling or Z is an instance of ingesting or Z is an instance of touching (5) Y is an agent of Z (6) X is a patient of Z (7) Z causes W (8) Y is a patient of W (9) W is an instance of V (10) X is capable of doing V as a resource (11) V is a subclass of injuring or V is a subclass of death

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

---

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