Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Adjacent
Adjacent(adjacent)aboard, abreast, adjacency, adjacent, alongside, approximate, cheek_by_jowl, clear, close_together, closely, contiguity, contiguous, contiguousness, dockside, face-to-face, face_to_face, front, hand_to_hand, hard, immediate, immediately, in_the_adjacent_apartment, in_the_adjacent_house, juxtaposed, man-to-man, nestled, next_door, on_base, on_board, one-on-one, opposite, person-to-person, presence, proximate, proximity, shoulder-to-shoulder, snuggled, subjacent, surficial, vis-a-vis

appearance as argument number 1
-------------------------


s__instance(s__Adjacent,s__SymmetricPositionalAttribute)

 Merge.kif 17451-17451 Adjacent is an instance of symmetric positional attribute
s__documentation(s__Adjacent, s__EnglishLanguage, "Used to assert that an object ?OBJ1 is close to, near or abutting ?OBJ2_ This PositionalAttribute covers the following common sense notions: adjoins, abuts, is contiguous to, is juxtaposed, and is close to_") Merge.kif 17452-17455 Adjacent is an instance of symmetric positional attribute

appearance as argument number 2
-------------------------


s__termFormat(s__EnglishLanguage, s__Adjacent, "adjacent") domainEnglishFormat.kif 5449-5449
s__termFormat(s__ChineseTraditionalLanguage, s__Adjacent, "鄰") domainEnglishFormat.kif 5450-5450
s__termFormat(s__ChineseLanguage, s__Adjacent, "邻") domainEnglishFormat.kif 5451-5451

antecedent
-------------------------


! [V__H : $i,V__T1 : $i,V__T1C : $i,V__T2 : $i,V__T2C : $i] : (((s__subclass(V__T1C, s__Tissue) & s__subclass(V__T2C, s__Tissue) & s__instance(V__T1, V__T1C) & s__instance(V__T2, V__T2C) & s__instance(V__H, s__Human) & s__part(V__T1, V__H) & s__part(V__T2, V__H) & ~(V__T1C = V__T2C) & ~(s__subclass(V__T1C, V__T2C)) & ~(s__subclass(V__T2C, V__T1C)) & s__orientation(V__T1, V__T2, s__Adjacent)) => s__modalAttribute(( ? [V__CT:$i] : ((s__instance(V__CT, s__ConnectiveTissue) & s__between(V__T1, V__CT, V__T2)))), s__Likely))) Merge.kif 15462-15483 If All of the following hold: (1) X is a subclass of tissue (2) Y is a subclass of tissue (3) Z is an instance of X (4) W is an instance of Y (5) V is an instance of human (6) Z is a part of V (7) W is a part of V (8) equal X and Y (9) X is not a subclass of Y (10) Y is not a subclass of X (11) Z is adjacent to W, then the statement there exists U such that U is an instance of connective tissue, U is between Z, and W has the modal force of likely
! [V__OBJ1,V__OBJ2] :
(((s__instance(V__OBJ1,s__Object) &
       s__instance(V__OBJ2,s__Object))
     =>
     ((s__orientation(V__OBJ1,V__OBJ2,s__Adjacent) =>
         (s__orientation(V__OBJ1,V__OBJ2,s__Near) |
           s__connected(V__OBJ1,V__OBJ2)))
     &
     ((s__orientation(V__OBJ1,V__OBJ2,s__Near) |
         s__connected(V__OBJ1,V__OBJ2))
     =>
     s__orientation(V__OBJ1,V__OBJ2,s__Adjacent))))
)

 Merge.kif 17457-17461 X is adjacent to Y if and only if X is near to Y or X is connected to Y
! [V__ONE,V__TWO] :
(((s__instance(V__ONE,s__Object) &
       s__instance(V__TWO,s__Object))
     =>
     (s__orientation(V__ONE,V__TWO,s__Adjacent) =>
       s__orientation(V__TWO,V__ONE,s__Adjacent)))
   )

 Geography.kif 2187-2189 If X is adjacent to Y, then Y is adjacent to X
! [V__mountains,V__height1,V__height2,V__piedmont,V__U] :
(((s__instance(V__mountains,s__SelfConnectedObject) &
       s__instance(V__height1,s__RealNumber) &
       s__instance(V__height2,s__RealNumber))
     =>
     ((s__instance(V__piedmont,s__Piedmont) &
         s__attribute(V__mountains,s__MountainousTerrain) &
         s__orientation(V__piedmont,V__mountains,s__Adjacent) &
         s__instance(V__U,s__UnitOfLength) &
         s__height(V__piedmont,s__MeasureFn(V__height1,V__U))
     &
     s__height(V__mountains,s__MeasureFn(V__height2,V__U)))
=>
s__greaterThan(V__height2,V__height1)))
)

 Geography.kif 5710-5720 If All of the following hold: (1) X is an instance of piedmont (2) mountainous terrain is an attribute of Y (3) X is adjacent to Y (4) Z is an instance of unit of length (5) the height of X is W Z(s) (6) the height of Y is V Z(s), then V is greater than W
! [V__height1,V__height2,V__valley,V__area,V__U] :
(((s__instance(V__height1,s__RealNumber) &
       s__instance(V__height2,s__RealNumber))
     =>
     ((s__instance(V__valley,s__Valley) &
         s__instance(V__area,s__LandArea) &
         s__instance(V__U,s__UnitOfLength) &
         s__earthAltitude(V__valley,s__MeasureFn(V__height1,V__U))
     &
     s__earthAltitude(V__area,s__MeasureFn(V__height2,V__U))
&
s__orientation(V__valley,V__area,s__Adjacent))
=>
s__greaterThan(V__height2,V__height1)))
)

 Geography.kif 5735-5745 If All of the following hold: (1) X is an instance of valley (2) Y is an instance of land area (3) Z is an instance of unit of length (4) X is W Z(s) above the ground (5) Y is V Z(s) above the ground (6) X is adjacent to Y, then V is greater than W
! [V__height1,V__height2,V__basin,V__area,V__U] :
(((s__instance(V__height1,s__RealNumber) &
       s__instance(V__height2,s__RealNumber))
     =>
     ((s__instance(V__basin,s__Basin) &
         s__instance(V__area,s__LandArea) &
         s__instance(V__U,s__UnitOfLength) &
         s__earthAltitude(V__basin,s__MeasureFn(V__height1,V__U))
     &
     s__earthAltitude(V__area,s__MeasureFn(V__height2,V__U))
&
s__orientation(V__basin,V__area,s__Adjacent))
=>
s__greaterThan(V__height2,V__height1)))
)

 Geography.kif 5751-5761 If All of the following hold: (1) X is an instance of basin (2) Y is an instance of land area (3) Z is an instance of unit of length (4) X is W Z(s) above the ground (5) Y is V Z(s) above the ground (6) X is adjacent to Y, then V is greater than W
! [V__COAST,V__WATER] :
(((s__instance(V__COAST,s__Seacoast) &
       s__instance(V__WATER,s__WaterArea) &
       s__orientation(V__WATER,V__COAST,s__Adjacent))
     =>
     s__instance(V__WATER,s__SaltWaterArea))
   )

 Geography.kif 7726-7731 If X is an instance of seacoast, Y is an instance of water area, and Y is adjacent to X, then Y is an instance of salt water area
! [V__SHORE,V__WATER] :
(((s__instance(V__SHORE,s__ShoreArea) &
       s__instance(V__WATER,s__WaterArea) &
       s__orientation(V__SHORE,V__WATER,s__Adjacent))
     =>
     (? [V__LINE] :
       ((s__instance(V__LINE,s__Shoreline) &
           s__part(V__LINE,V__SHORE)
         &
         s__meetsSpatially(V__LINE,V__WATER)))))
)

 Geography.kif 7752-7761 If X is an instance of shore area, Y is an instance of water area, and X is adjacent to Y, then there exists Z such that Z is an instance of shoreline, Z is a part of X, and Z meets Y

consequent
-------------------------


! [V__G] :
((s__instance(V__G,s__ResidentialGarden) =>
     (? [V__B] :
       ((s__instance(V__B,s__ResidentialBuilding) &
           s__orientation(V__G,V__B,s__Adjacent)))))
   )

 Mid-level-ontology.kif 9502-9507 If X is an instance of residential garden, then there exists Y such that Y is an instance of residential building and X is adjacent to Y
! [V__X] :
((s__instance(V__X,s__Object) =>
     (s__attribute(V__X,s__AdjoiningRoom) =>
       (? [V__ROOM,V__WALL,V__DOOR] :
         ((s__instance(V__ROOM,s__Object) &
             (s__attribute(V__ROOM,s__AdjoiningRoom) &
               ~((V__ROOM = V__X))
               &
               s__orientation(V__X,V__ROOM,s__Adjacent) &
               s__instance(V__WALL,s__Wall) &
               s__part(V__WALL,V__ROOM)
             &
             s__part(V__WALL,V__X)
           &
           s__instance(V__DOOR,s__Door) &
           s__part(V__DOOR,V__WALL)))))))
)

 Mid-level-ontology.kif 16812-16823 If adjoining room is an attribute of X, then All of the following hold: (1) there exist Y, Z (2) W such that adjoining room is an attribute of Y (3) equal Y (4) X (5) X is adjacent to Y (6) Z is an instance of wall (7) Z is a part of Y (8) Z is a part of X (9) W is an instance of door (10) W is a part of Z
! [V__POSTPLACE,V__ROADWAY] :
(((s__instance(V__POSTPLACE,s__PostalPlace) &
       s__instance(V__ROADWAY,s__Roadway))
     =>
     (s__postStreet(V__POSTPLACE,V__ROADWAY)
     =>
     s__orientation(V__POSTPLACE,V__ROADWAY,s__Adjacent)))
)

 Mid-level-ontology.kif 27101-27103 If X is on Y, then X is adjacent to Y
! [V__X : $i] : ((s__instance(V__X, s__Earphone) => s__hasPurpose(V__X, ( ? [V__ES:$i, V__RS:$i, V__SIGNAL:$i, V__EAR:$i, V__PROC:$i] : ((s__instance(V__ES, s__ElectricalSignalling) & s__patient(V__ES, V__SIGNAL) & s__destination(V__ES, V__X) & s__instance(V__PROC, s__Process) & s__instrument(V__PROC, V__X) & s__patient(V__PROC, V__SIGNAL) & s__result(V__PROC, V__RS) & s__instance(V__RS, s__RadiatingSound) & s__origin(V__RS, V__X) & s__before(s__BeginFn(s__WhenFn(V__ES)), s__BeginFn(s__WhenFn(V__PROC))) & s__before(s__BeginFn(s__WhenFn(V__PROC)), s__BeginFn(s__WhenFn(V__RS))) & s__instance(V__EAR, s__Ear) & s__orientation(V__X, V__EAR, s__Adjacent))))))) Mid-level-ontology.kif 28623-28644 If X is an instance of earphone, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of electrical signalling (3) W is a patient of Y (4) Y ends up at X (5) U is an instance of process (6) X is an instrument for U (7) W is a patient of U (8) Z is a result of U (9) Z is an instance of radiating sound (10) Z originates at X (11) the beginning of the time of existence of Y happens before the beginning of the time of existence of U (12) the beginning of the time of existence of U happens before the beginning of the time of existence of Z (13) V is an instance of ear (14) X is adjacent to V
! [V__X : $i] : ((s__instance(V__X, s__Patio) => (s__modalAttribute(s__attribute(V__X, s__Paved), s__Likely) & ( ? [V__BLDG:$i] : ((s__instance(V__BLDG, s__Building) & s__orientation(V__X, V__BLDG, s__Adjacent) & s__located(V__X, s__Outdoors))))))) Mid-level-ontology.kif 29233-29242 If X is an instance of patio, then the statement paved is an attribute of X has the modal force of likely and there exists Y such that Y is an instance of building, X is adjacent to Y, and X is located at outdoors
! [V__AREA1,V__AREA2] :
(((s__instance(V__AREA1,s__GeographicArea) &
       s__instance(V__AREA2,s__GeographicArea))
     =>
     (s__instance(s__BorderFn(V__AREA1,V__AREA2)
    ,s__GeographicArea) =>
     s__orientation(V__AREA1,V__AREA2,s__Adjacent)))
)

 Geography.kif 2183-2185 If the border of X and Y is an instance of geographic area, then X is adjacent to Y
! [V__ONE,V__TWO] :
(((s__instance(V__ONE,s__Object) &
       s__instance(V__TWO,s__Object))
     =>
     (s__orientation(V__ONE,V__TWO,s__Adjacent) =>
       s__orientation(V__TWO,V__ONE,s__Adjacent)))
   )

 Geography.kif 2187-2189 If X is adjacent to Y, then Y is adjacent to X
! [V__piedmont] :
((s__instance(V__piedmont,s__Piedmont) =>
     (? [V__mountains] :
       ((s__instance(V__mountains,s__MountainousTerrain) &
           s__orientation(V__piedmont,V__mountains,s__Adjacent)))))
   )

 Geography.kif 5703-5708 If X is an instance of piedmont, then there exists Y such that Y is an instance of mountainous terrain and X is adjacent to Y
! [V__X,V__Y] :
(((s__instance(V__X,s__Object) &
       s__instance(V__Y,s__Object))
     =>
     (s__meetsSpatially(V__X,V__Y)
     =>
     s__orientation(V__X,V__Y,s__Adjacent)))
)

 Geography.kif 7763-7765 If X meets Y, then X is adjacent to Y
! [V__OBJ1,V__OBJ2] :
(((s__instance(V__OBJ1,s__Object) &
       s__instance(V__OBJ2,s__Class))
     =>
     (s__adjacentOrientation(V__OBJ1,V__OBJ2)
     =>
     (? [V__X] :
       ((s__instance(V__X,s__Object) &
           (s__instance(V__X,V__OBJ2)
           &
           s__orientation(V__OBJ1,V__X,s__Adjacent)))))))
)

 Hotel.kif 947-952 If X is adjacent to Y, then there exists Z such that Z is an instance of Y and X is adjacent to Z
! [V__X] :
((s__instance(V__X,s__Object) =>
     (s__attribute(V__X,s__DownAndInRoom) =>
       (? [V__LOC,V__INDOOR] :
         ((s__instance(V__INDOOR,s__Indoors) &
             s__instance(V__LOC,s__Region) &
             s__orientation(V__LOC,V__X,s__Adjacent) &
             s__orientation(V__LOC,V__X,s__Outside) &
             s__located(V__LOC,V__INDOOR))))))
)

 Hotel.kif 1065-1073 If down and in room is an attribute of X, then there exist Y, Z such that Z is an instance of indoors, Y is an instance of region, Y is adjacent to X, Y is outside of to X, and Y is located at Z
! [V__X] :
((s__instance(V__X,s__Object) =>
     (s__attribute(V__X,s__DownAndOutRoom) =>
       (? [V__LOC,V__OUTDOOR] :
         ((s__instance(V__OUTDOOR,s__Outdoors) &
             s__instance(V__LOC,s__Region) &
             s__orientation(V__LOC,V__X,s__Adjacent) &
             s__orientation(V__LOC,V__X,s__Outside) &
             s__located(V__LOC,V__OUTDOOR))))))
)

 Hotel.kif 1080-1088 If down and out room is an attribute of X, then there exist Y, Z such that Z is an instance of outdoors, Y is an instance of region, Y is adjacent to X, Y is outside of to X, and Y is located at Z
! [V__SM,V__RS1] :
(((s__instance(V__SM,s__StripMall) &
       s__instance(V__RS1,s__RetailStore) &
       s__part(V__RS1,V__SM))
   =>
   (? [V__PL] :
     ((s__instance(V__PL,s__ParkingLot) &
         s__orientation(V__RS1,V__PL,s__Adjacent)))))
)

 Medicine.kif 5169-5177 If X is an instance of strip mall, Y is an instance of retail store, and Y is a part of X, then there exists Z such that Z is an instance of parking lot and Y is adjacent to Z
! [V__PORT] :
((s__instance(V__PORT,s__PortCity) =>
     (? [V__SEA] :
       (((s__instance(V__SEA,s__Sea) |
             s__instance(V__SEA,s__Ocean))
           &
           (s__orientation(V__PORT,V__SEA,s__Adjacent) |
             s__orientation(V__PORT,V__SEA,s__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
! [V__OBJECT1,V__OBJECT2] :
(((s__instance(V__OBJECT1,s__Object) &
       s__instance(V__OBJECT2,s__Object))
     =>
     (s__meetsSpatially(V__OBJECT1,V__OBJECT2)
     =>
     s__orientation(V__OBJECT1,V__OBJECT2,s__Adjacent)))
)

 Transportation.kif 864-866 If X meets Y, then X is adjacent to Y
! [V__PORT] :
((s__instance(V__PORT,s__SeaPort) =>
     (? [V__SEA] :
       (((s__instance(V__SEA,s__Sea) |
             s__instance(V__SEA,s__Ocean))
           &
           (s__orientation(V__PORT,V__SEA,s__Adjacent) |
             s__orientation(V__PORT,V__SEA,s__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
! [V__SURF] :
((s__instance(V__SURF,s__SurfZone) =>
     (? [V__SL] :
       ((s__instance(V__SL,s__Shoreline) &
           s__orientation(V__SURF,V__SL,s__Adjacent)))))
   )

 Weather.kif 2690-2695 If X is an instance of surf zone, then there exists Y such that Y is an instance of shoreline and X is adjacent to 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners