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 9484-9486
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9480-9480	overlaps spatially is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9481-9481	overlaps spatially is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9479-9479	overlaps spatially is a subrelation of connected

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9473-9473	meets spatially and overlaps spatially are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 367-367
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9482-9482
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43759-43759
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 368-368
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43758-43758
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43757-43757

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9824-9829	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 is overlapsSpatially, then the self connected object and the other self connected object is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3418-3423	If an object and another object is 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 9488-9493	If an object and another object is 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 9954-9959	If an object fills a hole and fillable is an attribute of another object, then the object and the other object is not overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9816-9822	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 is 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 9824-9829	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 is overlapsSpatially, then the self connected object and the other self connected object is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2491-2504	If a process is an instance of desertification and the process is located at 2, 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 a third entity and the entity is overlapsSpatially holds during the beginning of the time of existence of the process and the third entity and the other entity is 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 2470-2481	If a time interval is an instance of drought and the time interval is located at 2, then there don't exist another time interval and an object such that the other time interval is an instance of raining and the object is an instance of region and the other time interval is located at 2 and the object and an entity is overlapsSpatially and the time interval overlaps the other time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1274-1295	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,, , an entity and a real number such that the third object is an instance of land area and the other process is located at 2 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 entity is an instance of land area and the transfer ends up at the entity and the third object and the entity is not overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3971-3975	If an object is an instance of object and the object is partly located in another object, then the object and the other object is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9509-9515	If an entity is an instance of case role and another entity is an instance of object and the entity a physical and the other entity, then there exists a time point such that the place where the physical was at the time point and the other entity is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12275-12280	If an object is an instance of torso and an entity is an instance of limb, then the object and the entity is not overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1082-1089	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 is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9501-9507	If an object is a member of a collection and a physical is a member of the collection and the object is not equal to the physical, then the object and the physical is not overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9495-9499	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 is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1232-1239	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 is not overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3117-3133	If the number of coils in a wire coil is an integer, then there exists a collection 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 closed two dimensional figure is an attribute of the object and the object is a part of the wire coil and there doesn't exist the object2 such that the object2 and the object is overlapsSpatially and the object2 is a member of the collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9413-9417	If an object is connected to another object, then the object meets the other object or the object and the other object is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9998-10007	If an object is equal to the surface of the hole a hole, then for all another object the other object and the object is overlapsSpatially if and only if 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 is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9793-9796	If a hole is a hole in a self connected object, then the hole and the self connected object is not overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9216-9223	If an entity is an instance of PlantAreole, then there exist another entity and an object such that the other entity is an instance of Cactus and the object is an instance of PlantSpinoseStructure and the object is a part of Cactus and the object and the entity is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5993-5999	If an object is an instance of continental shelf, then there exists an entity such that the entity is an instance of continental margin and the object is a proper part of the entity and the object and the entity is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10498-10505	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 is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5100-5105	If an entity is an instance of estuary, then there exists an object such that the object is an instance of river mouth and the object and the entity is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4068-4074	If an entity is an instance of plateau, then there exists an object such that the object is an instance of sloped area and steep terrain is an attribute of the object and the object and the entity is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9607-9613	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 is not overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 731-733	If an object meets another object, then the object and the other object is not overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9551-9553	If an object partially overlaps with another object, then the object and the other object is 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 3445-3445	Africa and northern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3446-3446	Africa and southern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3462-3462	Antarctica and eastern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3463-3463	Antarctica and western hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3506-3506	Arctic ocean and arctic region is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3504-3504	Arctic region and eastern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3505-3505	Arctic region and western hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3472-3472	Asia and northern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3473-3473	Asia and southern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 167-167	Caribbean region and north america is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 166-166	Caribbean region and south america is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 187-187	Central africa and northern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 188-188	Central africa and southern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 191-191	Eastern africa and northern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 192-192	Eastern africa and southern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 242-242	Eastern south america and northern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 243-243	Eastern south america and southern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3467-3467	Europe and eastern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3468-3468	Europe and western hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 168-168	Middle america and north america is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 169-169	Middle america and south america is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 146-146	Middle east region and asia is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 194-194	Northern africa and eastern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 195-195	Northern africa and western hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 246-246	Northern south america and northern hemisphere is 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: