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 17273-17276
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17272-17272	Adjacent 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 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
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 535-535

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17278-17282	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 6429-6434	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 6455-6464	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 4487-4497	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 unit of length 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 4446-4456	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 unit of length 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 4471-4481	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 unit of length 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.	Merge.kif 15319-15340	If a class is a subclass of tissue and another class is a subclass of tissue and an object is an instance of the class and another object is an instance of the other class and a third object is an instance of human and the object is a part of the third object and the other object is a part of the third object and equal the class and the other class and the class is not a subclass of the other class and the other class is not a subclass of the class and the object is adjacent to the other object, then the statement there exists an entity such that the entity is an instance of connective tissue and the entity is between the object and the other object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 881-883	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 947-952	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.	Medicine.kif 5155-5163	If an object is an instance of strip mall and another object is an instance of retail store and the other object is a part of the object, then there exists a third object such that the third object is an instance of parking lot and the other object is adjacent to the third object
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	If open layout is an attribute of an object, then the object is an instance of room and there exist another object, a third object and a fourth 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 equal the other object and 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 the 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 16610-16621	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 equal the other object and 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 1065-1073	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 1080-1088	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 877-879	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.	Mid-level-ontology.kif 9348-9353	If an object is an instance of residential garden, then there exists another object such that the other object is an instance of residential building and the object is adjacent to the other object
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 2105-2110	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 27951-27972	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 28538-28547	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 4439-4444	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 6466-6468	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 881-883	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 26481-26483	If a postal place is on a roadway, then the postal place 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