TreeView Knowledge Base Browser - Near

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3828-3829
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17289-17290
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10142-10142
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11493-11493
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11492-11492
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11490-11490
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11494-11494
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11489-11489
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11491-11491
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17288-17288	Near is an instance of symmetric positional attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40048-40048
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40047-40047
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40046-40046
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 538-538

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17292-17295	If an object is near to another object, then the object is not connected to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17297-17299	If an object is near to another object, then the other object is near to the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 715-717	If an object is near to another object, then the other object is near to the object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17263-17267	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4201-4225	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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6254-6263	If an object is an instance of body area 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1474-1483	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13421-13426	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6075-6080	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17035-17040	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4401-4412	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 918-923	If an object is &earOrientation$"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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7608-7615	If a human is a &eighbor$"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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17297-17299	If an object is near to another object, then the other object is near to the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 715-717	If an object is near to another object, then the other object is near to the object

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 3.0 is open source software produced by Articulate Software and its partners