Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Near
Near(near)
more pictures...
about, alignment, approach, around, at_close_range, at_hand, border_on, circumferent, close, close-set, close_at_hand, close_set, close_up, closeness, conjunction, distal, encompassing, hand-to-hand, hot, inferior_conjunction, keep_one's_distance, keep_one's_eyes_off, keep_one's_hands_off, lap, most, near, nearby, nearness, nearside, neighbor, neighbour, nigh, point-blank, propinquity, proximity, stand_back, stay_away, subterminal, superior_conjunction, surrounding, walk-to, walking, warm

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


s__documentation(s__Near,s__ChineseLanguage,'"这个关系属于一般常识的邻近。注:如果一个物体在另外一个物体的 Near,那么这两个物体就不 connected。"')

chinese_format.kif 3828-3829
s__documentation(s__Near,s__EnglishLanguage,'"The relation of common sense adjacency. Note that, if an object is Near another object, then the objects are not connected."')

Merge.kif 16342-16343
s__externalImage(s__Near,'"http://upload.wikimedia.org/wikipedia/commons/0/03/ Trees_near_lake.jpg"')

pictureList.kif 10164-10164
s__externalImage(s__Near,'"http://upload.wikimedia.org/wikipedia/commons/1/11/ Australian_Perentie_Land_Rover_and_MP_motorcycles.jpg"')

pictureList.kif 11526-11526
s__externalImage(s__Near,'"http://upload.wikimedia.org/wikipedia/commons/5/55/ Boeing_EC-135J_refueling.JPEG"')

pictureList.kif 11525-11525
s__externalImage(s__Near,'"http://upload.wikimedia.org/wikipedia/commons/7/73/ Persia_-_Achaemenian_Vessels.jpg"')

pictureList.kif 11523-11523
s__externalImage(s__Near,'"http://upload.wikimedia.org/wikipedia/commons/b/b1/ Billiard_ball_comparison.jpg"')

pictureList.kif 11527-11527
s__externalImage(s__Near,'"http://upload.wikimedia.org/wikipedia/commons/c/c2/ Klallam_people_near_canoe.jpg"')

pictureList.kif 11522-11522
s__externalImage(s__Near,'"http://upload.wikimedia.org/wikipedia/commons/d/d8/ Clown_fish_swimming.jpg"')

pictureList.kif 11524-11524
s__instance(s__Near,s__SymmetricPositionalAttribute)

s__instance(s__SymmetricPositionalAttribute,s__SetOrClass)

Merge.kif 16341-16341 Near is an instance of SymmetricPositionalAttribute

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


s__termFormat(s__ChineseLanguage,s__Near,'"近"')

domainEnglishFormat.kif 40020-40020
s__termFormat(s__ChineseTraditionalLanguage,s__Near,'"近"')

domainEnglishFormat.kif 40019-40019
s__termFormat(s__EnglishLanguage,s__Near,'"near"')

domainEnglishFormat.kif 40018-40018

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


( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       ((s__orientation(V__OBJ1,V__OBJ2,s__Near) =>
           (~(s__connected(V__OBJ1,V__OBJ2))))))
   )
)

Merge.kif 16345-16348
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       ((s__orientation(V__OBJ1,V__OBJ2,s__Near) =>
           (s__orientation(V__OBJ2,V__OBJ1,s__Near)))))
     )
   )

Merge.kif 16350-16352
( ! [V__TWO,V__ONE] :
   (((s__instance(V__TWO,s__Object) &
         s__instance(V__ONE,s__Object))
       =>
       ((s__orientation(V__ONE,V__TWO,s__Near) =>
           (s__orientation(V__TWO,V__ONE,s__Near)))))
     )
   )

Geography.kif 719-721

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


( ! [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 16316-16320 An object is adjacent to another object if and only if the object is near to the other object or the object is connected to the other object
No TPTP formula. May not be expressible in strict first order. Media.kif 224-231
No TPTP formula. May not be expressible in strict first order. Merge.kif 12626-12631
No TPTP formula. May not be expressible in strict first order. Cars.kif 3727-3767
( ! [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
( ! [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
( ! [V__Reef] :
   ((s__instance(V__Reef,s__Reef) =>
       (( ? [V__Water] :
           ((s__instance(V__Water,s__WaterArea) &
               s__orientation(V__Reef,V__Water,s__Near))))))
     )
   )

Geography.kif 5724-5729
( ! [V__SIDE] :
   ((s__instance(V__SIDE,s__Sidewalk) =>
       (( ? [V__ROAD] :
           ((s__instance(V__ROAD,s__Roadway) &
               s__orientation(V__SIDE,V__ROAD,s__Near))))))
     )
   )

Mid-level-ontology.kif 13967-13972
( ! [V__X] :
   ((s__instance(V__X,s__Checkpoint) =>
       ((( ? [V__ROAD] :
             ((s__instance(V__ROAD,s__Road) &
                 s__orientation(V__ROAD,V__X,s__Near))))
           |
           ( ? [V__REG1, V__REG2] :
             ((s__instance(V__REG1,s__GeographicArea) &
                 s__instance(V__REG2,s__GeographicArea) &
                 s__orientation(s__BorderFn(V__REG1,V__REG2)
              ,V__X,s__Near)))))))
   )
)

Geography.kif 741-749
( ! [V__X] :
   ((s__instance(V__X,s__Hammock) =>
       ((s__material(s__Fabric,V__X)
         &
         ( ? [V__POLE1, V__POLE2, V__GROUND] :
           ((s__instance(V__POLE1,s__Object) &
               s__instance(V__POLE2,s__Object) &
               (s__orientation(V__POLE1,V__POLE2,s__Near) &
                 s__connected(V__POLE1,V__X)
               &
               s__connected(V__POLE2,V__X)
             &
             s__instance(V__GROUND,s__LandArea) &
             s__located(V__X,V__GROUND)
           &
           s__orientation(V__X,V__GROUND,s__Above))))))))
)
)

Mid-level-ontology.kif 3886-3897
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__subclass(V__OBJ2,s__Physical) &
         s__instance(V__OBJ2,s__Class))
       =>
       ((s__nearOrientation(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__Near)))))))))
)
)

Hotel.kif 888-893
( ! [V__PERSON1,V__PERSON2] :
   (((s__instance(V__PERSON1,s__Human) &
         s__instance(V__PERSON2,s__Human))
       =>
       ((s__neighbor(V__PERSON1,V__PERSON2)
         =>
         (( ? [V__HOME1, V__HOME2] :
             ((s__instance(V__HOME1,s__PermanentResidence) &
                 s__instance(V__HOME2,s__PermanentResidence) &
                 (s__home(V__PERSON1,V__HOME1)
                 &
                 s__home(V__PERSON2,V__HOME2)
               &
               ~((V__HOME1 = V__HOME2))
               &
               s__orientation(V__HOME1,V__HOME2,s__Near)))))))))
)
)

Mid-level-ontology.kif 6037-6044
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       ((s__orientation(V__OBJ1,V__OBJ2,s__Near) =>
           (s__orientation(V__OBJ2,V__OBJ1,s__Near)))))
     )
   )

Merge.kif 16350-16352
( ! [V__TWO,V__ONE] :
   (((s__instance(V__TWO,s__Object) &
         s__instance(V__ONE,s__Object))
       =>
       ((s__orientation(V__ONE,V__TWO,s__Near) =>
           (s__orientation(V__TWO,V__ONE,s__Near)))))
     )
   )

Geography.kif 719-721


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