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 17225-17226
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/0/03/ Trees_near_lake.jpg")	pictureList.kif 10142-10142
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/1/11/ Australian_Perentie_Land_Rover_and_MP_motorcycles.jpg")	pictureList.kif 11493-11493
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/5/55/ Boeing_EC-135J_refueling.JPEG")	pictureList.kif 11492-11492
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/7/73/ Persia_-_Achaemenian_Vessels.jpg")	pictureList.kif 11490-11490
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/b/b1/ Billiard_ball_comparison.jpg")	pictureList.kif 11494-11494
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Klallam_people_near_canoe.jpg")	pictureList.kif 11489-11489
(externalImage Near "http://upload.wikimedia.org/wikipedia/commons/d/d8/ Clown_fish_swimming.jpg")	pictureList.kif 11491-11491
(instance Near SymmetricPositionalAttribute)	Merge.kif 17224-17224	Near is an instance of symmetric positional attribute

appearance as argument number 2

(termFormat ChineseLanguage Near "近")	domainEnglishFormat.kif 40065-40065
(termFormat ChineseTraditionalLanguage Near "近")	domainEnglishFormat.kif 40064-40064
(termFormat EnglishLanguage Near "near")	domainEnglishFormat.kif 40063-40063
(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 ApplyingTourniquet) (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 applying a tourniquet 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 17228-17231	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 17233-17235	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 715-717	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 17199-17203	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 (attribute ?G ToxicandInfectiousSubstance) (or (instance ?G Substance) (instance ?G Microorganism))) (exists (?O ?P ?I ?CLASS) (and (or (instance ?O Human) (instance ?O Animal)) (orientation ?G ?O Near) (or (instance ?P Inhaling) (instance ?P Ingesting) (instance ?P Touching)) (agent ?P ?O) (patient ?P ?G) (causes ?P ?I) (patient ?I ?O) (instance ?I ?CLASS) (capability ?CLASS resource ?G) (or (subclass ?CLASS Injuring) (subclass ?CLASS Death)))))	Transportation.kif 4197-4221	If toxic and infectious substance is an attribute of an object and the object is an instance of substance or the object is an instance of microorganism, then there exist an agent, a process,, , another process and a third kind of process such that the agent is an instance of human or the agent is an instance of animal and the object is near to the agent and the process is an instance of inhaling or the process is an instance of ingesting or the process is an instance of touching and the agent is an agent of the process and the object is a patient of the process and the process causes the other process and the agent is a patient of the other process and the other process is an instance of a third kind of process and the object is capable of doing the third kind of process as a resource and the third kind of process is a subclass of injuring or the third kind of process is a subclass of death
(=> (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 6221-6230	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 1438-1447	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 13357-13362	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 3771-3812	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 6011-6016	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 16590-16595	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 737-745	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 4024-4035	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 7220-7227	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 17233-17235	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 715-717	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