overlapsSpatially - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2830-2831
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4030-4032
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1573-1575
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4026-4026	overlap spatially is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4027-4027	overlap spatially is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4025-4025	overlap spatially is a subrelation of connected

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9635-9635	meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 367-367	meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4028-4028	meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	french_format.kif 212-212	meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 207-207	meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 164-164	meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 219-219	meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 489-489	meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 245-245	meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 232-232	meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 229-229	meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 396-396	meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43813-43813	meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 368-368	meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43812-43812	meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43811-43811	meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 152-152	meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 397-397	meets spatially and overlap spatially are disjoint

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9972-9977	If a hole is a hole in a self connected object and another hole is a hole in another self connected object and the hole and the other hole overlapsSpatially, then the self connected object and the other self connected object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3484-3489	If an object and another object overlapsSpatially and the other object is an instance of region and the object is not equal to the other object, then the object is partly located in the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9641-9646	If an object and another object overlapsSpatially, then there exists a third object such that the third object is a part of the object and the third object is a part of the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10093-10098	If an object fills a hole and fillable is an attribute of another object, then the object and the other object doesn't overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9964-9970	If a hole is a hole in a self connected object and the self connected object is a part of another self connected object, then the hole and the other self connected object overlapsSpatially or the hole is a hole in the other self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9972-9977	If a hole is a hole in a self connected object and another hole is a hole in another self connected object and the hole and the other hole overlapsSpatially, then the self connected object and the other self connected object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2474-2487	If a process is an instance of desertification and the process is located at an object, then there exist an entity and another entity such that the entity is an instance of arable land and the other entity is an instance of desert and the object and the entity overlapsSpatially holds during the beginning of the time of existence of the process and the object and the other entity overlapsSpatially holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2453-2464	If a time interval is an instance of drought and the time interval is located at an object, then there don't exist another time interval and another object such that the other time interval is an instance of raining and the other object is an instance of region and the other time interval is located at the other object and the other object and the object overlapsSpatially and the time interval overlaps the other time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1259-1280	If a process is an instance of dust storm and another process is an instance of wind and the process is a subprocess of the other process, then there exist a transfer, an object,, , another object,, , a third object,, , a fourth object and a real number such that the third object is an instance of land area and the other process is located at the third object and the real number knot unit of speed(s) is a surface wind speed of the third object and the real number is greater than 30.0 and the transfer is an instance of translocation and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the object transferred in the transfer is the other object and the object is an instance of PM and the other object is an instance of sand and the fourth object is an instance of land area and the transfer ends up at the fourth object and the third object and the fourth object doesn't overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4047-4051	If an object is an instance of object and the object is partly located in another object, then the object and the other object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 536-562	If a process is an instance of 3D printing and an object is an instance of artifact and the object is a result of the process, then there exist another process, another object,, , a third process and a third object such that the other process is an instance of making and the other process is a subprocess of the process and the other object is an instance of self connected object and the other object is a part of the object and the other object is a result of the other process and the third process is an instance of making and the third process is a subprocess of the process and the third object is an instance of self connected object and the third object is a part of the object and the other object and the third object overlapsSpatially and the other object is below to the third object and the time of existence of the other process takes place during the time of existence of the process and the time of existence of the third process takes place during the time of existence of the process and the time of existence of the other process happens earlier than the time of existence of the third process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9662-9668	If an entity is an instance of case role and an object is an instance of object and the entity a physical and the object, then there exists a time point such that the place where the physical was at the time point and the object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13634-13639	If an object is an instance of torso and another object is an instance of limb, then the object and the other object doesn't overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1069-1076	If a geographic area is an instance of maritime shelf area and an object is an instance of continental shelf and an agent is an instance of nation and the object meets the agent and the agent is a claimed territory of the geographic area, then the geographic area and the object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9654-9660	If an object is a member of a collection and another object is a member of the collection and the object is not equal to the other object, then the object and the other object doesn't overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9648-9652	If an object is a part of another object and the object is a part of a third object, then the other object and the third object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1264-1271	If one end of an object is another object and one end of the object is a third object and the other object is not equal to the third object, then the other object and the third object doesn't overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3177-3194	If the number of coils in a wire coil is an integer, then there exist a collection and the collection2F such that the collection is an instance of collection and the integer is a member count of the collection and for all an object if the object is a member of the collection, then the collection2F is an attribute of the object and the collection2F is an instance of closed two dimensional figure and the object is a part of the wire coil and there doesn't exist the object2 such that the object2 and the object overlapsSpatially and the object2 is a member of the collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9570-9574	If an object is connected to another object, then the object meets the other object or the object and the other object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10147-10154	If an object is equal to the surface of the hole a hole, then if another object is a superficial part of the host of the hole the hole and the hole meets the other object and a third object and the other object overlapsSpatially, then the third object and the object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10137-10145	If an object is equal to the surface of the hole a hole, then if another object and the object overlapsSpatially, then there exists a third object such that the third object is a superficial part of the host of the hole the hole and the hole meets the third object and the other object and the third object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9941-9944	If a hole is a hole in a self connected object, then the hole and the self connected object doesn't overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10440-10447	If an object is an instance of plant areole, then there exist an entity and another object such that the entity is an instance of cactus and the other object is an instance of plant spinose structure and the other object is a part of cactus and the other object and the object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6165-6171	If an object is an instance of continental shelf, then there exists another object such that the other object is an instance of continental margin and the object is a proper part of the other object and the object and the other object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11815-11822	If an object is an instance of skin, then there exist a self connected object and another self connected object such that the self connected object is a surface of the other self connected object and the object is a part of the other self connected object and the other self connected object is an instance of animal and the object and the self connected object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5271-5276	If an object is an instance of estuary, then there exists another object such that the other object is an instance of river mouth and the other object and the object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4215-4221	If an object is an instance of plateau, then there exists another object such that the other object is an instance of sloped area and steep terrain is an attribute of the other object and the other object and the object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9760-9766	If an object is a interior part of another object, then for all a third object if the third object is a superficial part of the other object, then the object and the third object doesn't overlapsSpatially

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3511-3511	Africa and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3512-3512	Africa and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3528-3528	Antarctica and eastern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3529-3529	Antarctica and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3572-3572	Arctic ocean and arctic region overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3570-3570	Arctic region and eastern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3571-3571	Arctic region and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3538-3538	Asia and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3539-3539	Asia and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 167-167	Caribbean region and north america overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 166-166	Caribbean region and south america overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 187-187	Central africa and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 188-188	Central africa and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 191-191	Eastern africa and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 192-192	Eastern africa and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 242-242	Eastern south america and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 243-243	Eastern south america and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3533-3533	Europe and eastern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3534-3534	Europe and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 168-168	Middle america and north america overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 169-169	Middle america and south america overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 146-146	Middle east region and asia overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 194-194	Northern africa and eastern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 195-195	Northern africa and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 246-246	Northern south america and northern hemisphere overlapsSpatially

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: