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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Near
Near
more pictures...

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


(documentation Near ChineseLanguage "这个关系属于一般常识的邻近。注:如果一个物体在另外一个物体的 Near,那么这两个物体就不 connected。") chinese_format.kif 3828-3829
(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 15825-15826
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/0/03/ Trees_near_lake.jpg") pictureList.kif 10165-10165 externalImage Near and "http://upload.wikimedia.org/wikipedia/commons/0/03/ Trees_near_lake.jpg"
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/1/11/ Australian_Perentie_Land_Rover_and_MP_motorcycles.jpg") pictureList.kif 11527-11527 externalImage Near and "http://upload.wikimedia.org/wikipedia/commons/1/11/ Australian_Perentie_Land_Rover_and_MP_motorcycles.jpg"
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/5/55/ Boeing_EC-135J_refueling.JPEG") pictureList.kif 11526-11526 externalImage Near and "http://upload.wikimedia.org/wikipedia/commons/5/55/ Boeing_EC-135J_refueling.JPEG"
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/7/73/ Persia_-_Achaemenian_Vessels.jpg") pictureList.kif 11524-11524 externalImage Near and "http://upload.wikimedia.org/wikipedia/commons/7/73/ Persia_-_Achaemenian_Vessels.jpg"
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/b/b1/ Billiard_ball_comparison.jpg") pictureList.kif 11528-11528 externalImage Near and "http://upload.wikimedia.org/wikipedia/commons/b/b1/ Billiard_ball_comparison.jpg"
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Klallam_people_near_canoe.jpg") pictureList.kif 11523-11523 externalImage Near and "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Klallam_people_near_canoe.jpg"
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/d/d8/ Clown_fish_swimming.jpg") pictureList.kif 11525-11525 externalImage Near and "http://upload.wikimedia.org/wikipedia/commons/d/d8/ Clown_fish_swimming.jpg"
(instance Near SymmetricPositionalAttribute) Merge.kif 15824-15824 instance Near and SymmetricPositionalAttribute

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


(termFormat ChineseLanguage Near "近") domainEnglishFormat.kif 39955-39955 termFormat ChineseLanguage, Near and "近"
(termFormat ChineseTraditionalLanguage Near "近") domainEnglishFormat.kif 39954-39954 termFormat ChineseTraditionalLanguage, Near and "近"
(termFormat EnglishLanguage Near "near") domainEnglishFormat.kif 39953-39953 termFormat EnglishLanguage, Near and "near"

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


(=>
    (orientation ?OBJ1 ?OBJ2 Near)
    (not
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 15828-15831
(=>
    (orientation ?OBJ1 ?OBJ2 Near)
    (orientation ?OBJ2 ?OBJ1 Near))
Merge.kif 15833-15835
(=>
    (orientation ?ONE ?TWO Near)
    (orientation ?TWO ?ONE Near))
Geography.kif 719-721

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 15799-15803 orientation Object, Object and Adjacent orientation Object, Object and Near connected Object and Object
(=>
    (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 12214-12219
(=>
    (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 3683-3723
(=>
    (instance ?PORT PortCity)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (or
                (orientation ?PORT ?SEA Adjacent)
                (orientation ?PORT ?SEA Near)))))
Transportation.kif 830-839
(=>
    (instance ?PORT SeaPort)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (or
                (orientation ?PORT ?SEA Adjacent)
                (orientation ?PORT ?SEA Near)))))
Transportation.kif 862-871
(=>
    (instance ?Reef Reef)
    (exists (?Water)
        (and
            (instance ?Water WaterArea)
            (orientation ?Reef ?Water Near))))
Geography.kif 5545-5550
(=>
    (instance ?SIDE Sidewalk)
    (exists (?ROAD)
        (and
            (instance ?ROAD Roadway)
            (orientation ?SIDE ?ROAD Near))))
Mid-level-ontology.kif 13314-13319
(=>
    (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 741-749
(=>
    (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 4484-4495
(=>
    (nearOrientation ?OBJ1 ?OBJ2)
    (exists (?X)
        (and
            (instance ?X ?OBJ2)
            (orientation ?OBJ1 ?X Near))))
Hotel.kif 880-885
(=>
    (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 6304-6311
(=>
    (orientation ?OBJ1 ?OBJ2 Near)
    (orientation ?OBJ2 ?OBJ1 Near))
Merge.kif 15833-15835
(=>
    (orientation ?ONE ?TWO Near)
    (orientation ?TWO ?ONE 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners