TreeView Knowledge Base Browser - Adjacent

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 17169-17172
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17168-17168	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 5442-5442
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5441-5441
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5440-5440
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 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.	Geography.kif 6126-6131	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 6152-6161	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 4247-4257	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 4206-4216	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 4231-4241	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 15212-15233	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 the class is not equal to 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 716-718	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 939-944	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 5147-5155	If an object is an instance of StripMall 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 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 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 15264-15275	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 1057-1065	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 1072-1080	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 712-714	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 8208-8213	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 1363-1368	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 26086-26107	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 26672-26681	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 4199-4204	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 6163-6165	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 716-718	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 24876-24878	If a postal place is on a roadway, then the postal place is adjacent to the roadway

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