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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Near

Sigma KEE - Near
Near
more pictures...

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


(documentation Near ChineseLanguage "这个关系属于一般常识的邻近。注:如果一个物体在另外一个物体的 Near,那么这两个物体就不 connected。") Merge.kif 17482-17483
(documentation Near EnglishLanguage "The relation of common sense adjacency. Note that, if an object is Near another object, then the objects are not connected.") Merge.kif 17480-17481
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/0/03/ Trees_near_lake.jpg") pictureList.kif 10165-10165
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/1/11/ Australian_Perentie_Land_Rover_and_MP_motorcycles.jpg") pictureList.kif 11527-11527
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/5/55/ Boeing_EC-135J_refueling.JPEG") pictureList.kif 11526-11526
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/7/73/ Persia_-_Achaemenian_Vessels.jpg") pictureList.kif 11524-11524
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/b/b1/ Billiard_ball_comparison.jpg") pictureList.kif 11528-11528
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Klallam_people_near_canoe.jpg") pictureList.kif 11523-11523
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/d/d8/ Clown_fish_swimming.jpg") pictureList.kif 11525-11525
(instance Near SymmetricPositionalAttribute) Merge.kif 17479-17479

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


(termFormat EnglishLanguage Near "near") domainEnglishFormat.kif 7092-7092

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


(=>
    (orientation ?OBJ1 ?OBJ2 Near)
    (not
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 17485-17488
(=>
    (orientation ?OBJ1 ?OBJ2 Near)
    (orientation ?OBJ2 ?OBJ1 Near))
Merge.kif 17490-17492
(=>
    (orientation ?ONE ?TWO Near)
    (orientation ?TWO ?ONE Near))
Geography.kif 712-714

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 17450-17454
(=>
    (and
        (instance ?C InPersonCommunication)
        (agent ?C ?A1)
        (agent ?C ?A2)
        (not
            (equal ?A1 ?A2)))
    (holdsDuring ?C
        (orientation ?A1 ?A2 Near)))
Media.kif 224-231
(=>
    (and
        (instance ?MEET Meeting)
        (agent ?MEET ?AGENT1)
        (agent ?MEET ?AGENT2))
    (holdsDuring
        (WhenFn ?MEET)
        (orientation ?AGENT1 ?AGENT2 Near)))
Merge.kif 13265-13270
(=>
    (and
        (instance ?X CarAlarm)
        (instance ?CAR SelfPoweredRoadVehicle)
        (part ?X ?CAR))
    (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)
                (and
                    (instance ?ALARM RadiatingSound)
                    (agent ?ALARM ?X)
                    (causes ?HARM ?ALARM)
                    (hasPurpose ?ALARM
                        (increasesLikelihood
                            (exists (?WITNESS)
                                (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 3677-3717
(=>
    (instance ?PORT SeaPort)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (or
                (orientation ?PORT ?SEA Adjacent)
                (orientation ?PORT ?SEA Near)))))
Transportation.kif 847-856
(=>
    (instance ?Reef Reef)
    (exists (?Water)
        (and
            (instance ?Water WaterArea)
            (orientation ?Reef ?Water Near))))
Geography.kif 5529-5534
(=>
    (instance ?SIDE Sidewalk)
    (exists (?ROAD)
        (and
            (instance ?ROAD Roadway)
            (orientation ?SIDE ?ROAD Near))))
Mid-level-ontology.kif 13315-13320
(=>
    (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 734-742
(=>
    (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 4489-4500
(=>
    (nearOrientation ?OBJ1 ?OBJ2)
    (exists (?X)
        (and
            (instance ?X ?OBJ2)
            (orientation ?OBJ1 ?X Near))))
Hotel.kif 876-881
(=>
    (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 6305-6312
(=>
    (orientation ?OBJ1 ?OBJ2 Near)
    (orientation ?OBJ2 ?OBJ1 Near))
Merge.kif 17490-17492
(=>
    (orientation ?ONE ?TWO Near)
    (orientation ?TWO ?ONE Near))
Geography.kif 712-714


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners