Adjacent - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Adjacent

Adjacent(adjacent)

aboard, abreast, adjacency, adjacent, alongside, approximate, cheek_by_jowl, clear, close_together, closely, contiguity, contiguous, contiguousness, dockside, face-to-face, face_to_face, front, hand_to_hand, hard, immediate, immediately, in_the_adjacent_apartment, in_the_adjacent_house, juxtaposed, man-to-man, nestled, next_door, on_base, on_board, one-on-one, opposite, person-to-person, presence, proximate, proximity, shoulder-to-shoulder, snuggled, subjacent, surficial, vis-a-vis

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3822-3823
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15963-15966
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15962-15962	Adjacent is an instance of SymmetricPositionalAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5451-5451
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5450-5450
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5449-5449

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15968-15972	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.	Geography.kif 5908-5913	If an object is an instance of seacoast and another object is an instance of water area and the other object is adjacent to the object, then the other object is an instance of salt water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5934-5943	If an object is an instance of shore area and another object is an instance of water area and the object is adjacent to the other object, then there exists a third object such that the third object is an instance of shoreline and the third object is a part of the object and the third object meets the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4085-4095	If an object is an instance of basin and another object is an instance of land area and an unit of measure is an instance of UnitOfLength and the object is a real number the unit of measure(s) above the ground and the other object is another real number the unit of measure(s) above the ground and the object is adjacent to the other object, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4044-4054	If a self connected object is an instance of piedmont and mountainous terrain is an attribute of another self connected object and the self connected object is adjacent to the other self connected object and an unit of measure is an instance of UnitOfLength and the height of the self connected object is a real number the unit of measure(s) and the height of the other self connected object is another real number the unit of measure(s), then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4069-4079	If an object is an instance of valley and another object is an instance of land area and an unit of measure is an instance of UnitOfLength and the object is a real number the unit of measure(s) above the ground and the other object is another real number the unit of measure(s) above the ground and the object is adjacent to the other object, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 715-717	If an object is adjacent to another object, then the other object is adjacent to the object

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 917-922	If an object is adjacent to a class, then there exists another object such that the other object is an instance of the class and the object is adjacent to the other object
No TPTP formula. May not be expressible in strict first order.	Dining.kif 909-933	If open layout is an attribute of an object, then the object is an instance of room and there exist another object and a third object such that the other object is an instance of region and the third object is an instance of region and the other object is located at the object and the third object is located at the object and the other object is not equal to the third object and the other object is adjacent to the third object and there exist a formula and another formula such that the formula is an instance of process and the other formula is an instance of process and the other object has the purpose the formula and the third object has the purpose the other formula and if a fourth object is an instance of agent and the fourth object is located at the third object, then the fourth object is capable of doing seeing as a agent and the other object is capable of doing seeing as a patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11969-11980	If adjoining room is an attribute of an object, then there exist another object, a third object and a fourth object such that adjoining room is an attribute of the other object and the other object is not equal to the object and the object is adjacent to the other object and the third object is an instance of wall and the third object is a part of the other object and the third object is a part of the object and the fourth object is an instance of door and the fourth object is a part of the third object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1022-1030	If down and in room is an attribute of an object, then there exist another object and a third object such that the third object is an instance of indoors and the other object is an instance of region and the other object is adjacent to the object and the other object is outside to the object and the other object is located at the third object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1037-1045	If down and out room is an attribute of an object, then there exist another object and a third object such that the third object is an instance of outdoors and the other object is an instance of region and the other object is adjacent to the object and the other object is outside to the object and the other object is located at the third object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 711-713	If the border of a geographic area and another geographic area is an instance of geographic area, then the geographic area is adjacent to the other geographic area
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.	Weather.kif 1377-1382	If an object is an instance of surf zone, then there exists another object such that the other object is an instance of shoreline and the object is adjacent to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22266-22287	If a physical is an instance of earphone, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of electrical signalling and the third entity is a patient of the entity and the entity ends up at the physical and the fifth entity is an instance of process and the physical is an instrument for the fifth entity and the third entity is a patient of the fifth entity and the other entity is a result of the fifth entity and the other entity is an instance of radiating sound and the other entity originates at the physical and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the fifth entity and the beginning of the time of existence of the fifth entity happens before the beginning of the time of existence of the other entity and the fourth entity is an instance of ear and the physical is adjacent to the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22833-22842	If an object is an instance of patio, then the statement paved is an attribute of the object has the modal force of likely and there exists another object such that the other object is an instance of building and the object is adjacent to the other object and the object is located at outdoors
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4037-4042	If an object is an instance of piedmont, then there exists another object such that the other object is an instance of mountainous terrain and the object is adjacent to the other object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 864-866	If an object meets another object, then the object is adjacent to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5945-5947	If an object meets another object, then the object is adjacent to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 715-717	If an object is adjacent to another object, then the other object is adjacent to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21056-21058	If a PostalPlace is on a roadway, then the PostalPlace is adjacent to the roadway

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