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(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

(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 17200-17201
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/0/03/ Trees_near_lake.jpg")	pictureList.kif 10143-10143
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/1/11/ Australian_Perentie_Land_Rover_and_MP_motorcycles.jpg")	pictureList.kif 11499-11499
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/5/55/ Boeing_EC-135J_refueling.JPEG")	pictureList.kif 11498-11498
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/7/73/ Persia_-_Achaemenian_Vessels.jpg")	pictureList.kif 11496-11496
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/b/b1/ Billiard_ball_comparison.jpg")	pictureList.kif 11500-11500
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Klallam_people_near_canoe.jpg")	pictureList.kif 11495-11495
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/d/d8/ Clown_fish_swimming.jpg")	pictureList.kif 11497-11497
(instance Near SymmetricPositionalAttribute)	Merge.kif 17199-17199	Near is an instance of symmetric positional attribute

appearance as argument number 2

(termFormat ChineseLanguage Near "近")	domainEnglishFormat.kif 40068-40068
(termFormat ChineseTraditionalLanguage Near "近")	domainEnglishFormat.kif 40067-40067
(termFormat EnglishLanguage Near "near")	domainEnglishFormat.kif 40066-40066
(termFormat tg Near "malapit")	terms-tg.txt 538-538

antecedent

(=> (and (instance ?B Bleeding) (instance ?D Death) (instance ?H Human) (instance ?P Human) (experiencer ?B ?P) (orientation ?H ?P Near) (modalAttribute (causes ?B ?D) Likely)) (holdsObligation ?H (exists (?A) (and (instance ?A Attaching) (agent ?A ?H) (destination ?A ?P)))))	Medicine.kif 44-59	If a process is an instance of bleeding and an entity is an instance of death and a formula is an instance of human and an agent is an instance of human and the agent experiences the process and the formula is near to the agent and the statement the process causes the entity has the modal force of likely, then there exists another entity such that the other entity is an instance of attaching and the formula is an agent of the other entity and the other entity ends up at the agent is obliged to perform tasks of type the formula
(=> (orientation ?OBJ1 ?OBJ2 Near) (not (connected ?OBJ1 ?OBJ2)))	Merge.kif 17203-17206	If an object is near to another object, then the object is not connected to the other object
(=> (orientation ?OBJ1 ?OBJ2 Near) (orientation ?OBJ2 ?OBJ1 Near))	Merge.kif 17208-17210	If an object is near to another object, then the other object is near to the object
(=> (orientation ?ONE ?TWO Near) (orientation ?TWO ?ONE Near))	Geography.kif 720-722	If an object is near to another object, then the other object is near to the object

consequent

(<=> (orientation ?OBJ1 ?OBJ2 Adjacent) (or (orientation ?OBJ1 ?OBJ2 Near) (connected ?OBJ1 ?OBJ2)))	Merge.kif 17174-17178	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
(=> (and (instance ?A (BodyAreaFn ?OC)) (instance ?H Animal) (part ?A ?H)) (exists (?O) (and (instance ?O ?OC) (orientation ?A ?O Near) (part ?O ?H))))	Medicine.kif 6237-6246	If an object is an instance of BodyAreaFn a kind of body part and another object is an instance of animal and the object is a part of the other object, then there exists a third object such that the third object is an instance of a kind of body part and the object is near to the third object and the third object is a part of the other 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	If a process is an instance of in person communication and an agent is an agent of the process and another agent is an agent of the process and the agent is not equal to the other agent, then the agent is near to the other agent holds during the process
(=> (and (instance ?E Eyebrow) (attribute ?H Healthy) (part ?E ?H)) (exists (?EYE) (and (instance ?EYE Eye) (part ?EYE ?H) (orientation ?EYE ?E Near))))	Anatomy.kif 1439-1448	If an object is an instance of eyebrow and healthy is an attribute of another object and the object is a part of the other object, then there exists the objectYE such that the objectYE is an instance of eye and the objectYE is a part of the other object and the objectYE is near to the object
(=> (and (instance ?MEET Meeting) (agent ?MEET ?AGENT1) (agent ?MEET ?AGENT2)) (holdsDuring (WhenFn ?MEET) (orientation ?AGENT1 ?AGENT2 Near)))	Merge.kif 13328-13333	If a process is an instance of meeting and an agent is an agent of the process and another agent is an agent of the process, then the agent is near to the other agent holds during the time of existence of the process
(=> (and (instance ?X CarAlarm) (instance ?CAR SelfPoweredRoadVehicle) (part ?X ?CAR)) (exists (?HARM ?THIEF ?T ?L) (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 3770-3811	If an object is an instance of car alarm and another object is an instance of self powered road vehicle and the object is a part of the other object, then there exist an entity, another entity,, , a third entity and a fourth entity such that the object has the purpose if the entity is an instance of stealing or the entity is an instance of damaging and the other entity is an instance of human and the other entity is an agent of the entity and the other object is a patient of the entity and the time of existence of the entity is equal to the third entity and the entity is partly located at the fourth entity, then there exists a fifth entity such that the fifth entity is an instance of radiating sound and the object is an agent of the fifth entity and the entity causes the fifth entity and the fifth entity has the purpose there exists a sixth entity such that the sixth entity is an instance of human and the sixth entity is near to the fourth entity holds during the third entity increases likelihood of the sixth entity knows there exists a seventh entity such that the seventh entity is an instance of stealing or the seventh entity is an instance of damaging and the seventh entity is partly located at the fourth entity and the other object is a patient of the seventh entity holds during the third entity or the time of existence of the fifth entity finishes the time of existence of the 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 841-850	If an object is an instance of port city, then there exists another object such that the other object is an instance of sea or the other object is an instance of ocean and the object is adjacent to the other object or the object is near to the other object
(=> (instance ?PORT SeaPort) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (or (orientation ?PORT ?SEA Adjacent) (orientation ?PORT ?SEA Near)))))	Transportation.kif 873-882	If an object is an instance of sea port, then there exists another object such that the other object is an instance of sea or the other object is an instance of ocean and the object is adjacent to the other object or the object is near to the other object
(=> (instance ?Reef Reef) (exists (?Water) (and (instance ?Water WaterArea) (orientation ?Reef ?Water Near))))	Geography.kif 5942-5947	If an object is an instance of reef, then there exists another object such that the other object is an instance of water area and the object is near to the other object
(=> (instance ?SIDE Sidewalk) (exists (?ROAD) (and (instance ?ROAD Roadway) (orientation ?SIDE ?ROAD Near))))	Mid-level-ontology.kif 15880-15885	If an object is an instance of sidewalk, then there exists another object such that the other object is an instance of roadway and the object is near to the other object
(=> (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 742-750	If an object is an instance of checkpoint, then there exists another object such that the other object is an instance of road and the other object is near to the object or there exist a geographic area and another geographic area such that the border of the geographic area and the other geographic area is near to the object
(=> (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 3951-3962	If a corpuscular object is an instance of hammock, then the corpuscular object is made of fabric and there exist an object, another object and a third object such that the object is near to the other object and the object is connected to the corpuscular object and the other object is connected to the corpuscular object and the third object is an instance of land area and the corpuscular object is located at the third object and the corpuscular object is above to the third object
(=> (nearOrientation ?OBJ1 ?OBJ2) (exists (?X) (and (instance ?X ?OBJ2) (orientation ?OBJ1 ?X Near))))	Hotel.kif 910-915	If an object is near a kind of physical, then there exists another object such that the other object is an instance of a kind of physical and the object is near to the other object
(=> (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 6665-6672	If a human is a neighbor of another human, then there exist a permanent residence and another permanent residence such that the home of the other human is the permanent residence and the home of the human is the other permanent residence and the permanent residence is not equal to the other permanent residence and the permanent residence is near to the other permanent residence
(=> (orientation ?OBJ1 ?OBJ2 Near) (orientation ?OBJ2 ?OBJ1 Near))	Merge.kif 17208-17210	If an object is near to another object, then the other object is near to the object
(=> (orientation ?ONE ?TWO Near) (orientation ?TWO ?ONE Near))	Geography.kif 720-722	If an object is near to another object, then the other object is near to the object

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