TreeView Knowledge Base Browser - Near

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Near

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 17200-17201
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10144-10144
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11500-11500
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11499-11499
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11497-11497
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11501-11501
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11496-11496
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11498-11498
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17199-17199	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 40037-40037
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40036-40036
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40035-40035
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 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17203-17206	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 17208-17210	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 720-722	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 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
No TPTP formula. May not be expressible in strict first order.	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
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 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3695-3736	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 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15689-15694	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 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17208-17210	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 720-722	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