Near - Sigma Knowledge base Browser

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 Object, Object and Near connected Object and Object
(=> (orientation ?OBJ1 ?OBJ2 Near) (orientation ?OBJ2 ?OBJ1 Near))	Merge.kif 15833-15835	orientation Object, Object and Near orientation Object, Object and Near
(=> (orientation ?ONE ?TWO Near) (orientation ?TWO ?ONE Near))	Geography.kif 719-721	orientation Object, Object and Near orientation Object, Object and Near

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	instance Process and InPersonCommunication agent Process and Agent agent Process and Agent equal Agent and Agent holdsDuring Process and orientation Agent, Agent and Near
(=> (and (instance ?MEET Meeting) (agent ?MEET ?AGENT1) (agent ?MEET ?AGENT2)) (holdsDuring (WhenFn ?MEET) (orientation ?AGENT1 ?AGENT2 Near)))	Merge.kif 12214-12219	instance Process and Meeting agent Process and Agent agent Process and Agent holdsDuring WhenFn Process and orientation Agent, Agent and Near
(=> (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 Object and CarAlarm instance Object and SelfPoweredRoadVehicle part Object and Object hasPurpose Object and instance entity and Stealing instance entity and Damaging instance entity and Human agent entity and entity patient entity and Object equal WhenFn entity and entity eventPartlyLocated entity and entity entity instance entity and RadiatingSound agent entity and Object causes entity and entity hasPurpose entity and increasesLikelihood entity instance entity and Human holdsDuring entity and orientation entity, entity and Near and knows entity and entity instance entity and Stealing instance entity and Damaging eventPartlyLocated entity and entity holdsDuring entity and patient entity and Object finishes WhenFn entity and WhenFn entity
(=> (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 Object and PortCity Object instance Object and Sea instance Object and Ocean orientation Object, Object and Adjacent orientation Object, Object and Near
(=> (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 Object and SeaPort Object instance Object and Sea instance Object and Ocean orientation Object, Object and Adjacent orientation Object, Object and Near
(=> (instance ?Reef Reef) (exists (?Water) (and (instance ?Water WaterArea) (orientation ?Reef ?Water Near))))	Geography.kif 5545-5550	instance Object and Reef Object instance Object and WaterArea orientation Object, Object and Near
(=> (instance ?SIDE Sidewalk) (exists (?ROAD) (and (instance ?ROAD Roadway) (orientation ?SIDE ?ROAD Near))))	Mid-level-ontology.kif 13314-13319	instance Object and Sidewalk Object instance Object and Roadway orientation Object, Object and Near
(=> (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 Object and Checkpoint Object instance Object and Road orientation Object, Object and Near GeographicArea GeographicArea orientation BorderFn GeographicArea and GeographicArea, Object and Near
(=> (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	instance CorpuscularObject and Hammock material Fabric and CorpuscularObject Object Object and Object orientation Object, Object and Near connected Object and CorpuscularObject connected Object and CorpuscularObject instance Object and LandArea located CorpuscularObject and Object orientation CorpuscularObject, Object and Above
(=> (nearOrientation ?OBJ1 ?OBJ2) (exists (?X) (and (instance ?X ?OBJ2) (orientation ?OBJ1 ?X Near))))	Hotel.kif 880-885	nearOrientation Object and Physical Object instance Object and Physical orientation Object, Object and Near
(=> (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	neighbor Human and Human PermanentResidence PermanentResidence home Human and PermanentResidence home Human and PermanentResidence equal PermanentResidence and PermanentResidence orientation PermanentResidence, PermanentResidence and Near
(=> (orientation ?OBJ1 ?OBJ2 Near) (orientation ?OBJ2 ?OBJ1 Near))	Merge.kif 15833-15835	orientation Object, Object and Near orientation Object, Object and Near
(=> (orientation ?ONE ?TWO Near) (orientation ?TWO ?ONE Near))	Geography.kif 719-721	orientation Object, Object and Near orientation Object, Object and Near

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