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 9008-9010
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9005-9005	overlaps spatially is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9006-9006	overlaps spatially is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9004-9004	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 8998-8998	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.	domainEnglishFormat.kif 43696-43696
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 43695-43695
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43694-43694

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9012-9017	overlaps spatially an object and another object if and only if 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9323-9328	If a hole is a hole in a self connected object and another hole is a hole in another self connected object and overlaps spatially the hole and the other hole, then overlaps spatially the self connected object and the other self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3355-3360	If overlaps spatially an object and another object 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

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9453-9458	If an object fills a hole and fillable is an attribute of another object, then overlaps spatially the object and the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9315-9321	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 overlaps spatially the hole and the other self connected object 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 9323-9328	If a hole is a hole in a self connected object and another hole is a hole in another self connected object and overlaps spatially the hole and the other hole, then overlaps spatially the self connected object and the other self connected object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1225-1238	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 overlaps spatially a third entity and the entity holds during the beginning of the time of existence of the process and overlaps spatially the third entity and the other entity 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 1202-1213	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 overlaps spatially the object and an entity and the time interval overlaps the other time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 897-918	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 the other process, 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 surfaceWindSpeed the third object and the real number knot unit of speed(s) and the real number is greater than 30 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 overlaps spatially the third object and the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3903-3907	If an object is an instance of object and the object is partly located in another object, then overlaps spatially the object and the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9027-9033	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 overlaps spatially the place where the physical was at the time point and the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10486-10490	If an object is an instance of torso and an entity is an instance of limb, then overlaps spatially the object and the entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1073-1080	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 overlaps spatially the geographic area and the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9019-9025	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 overlaps spatially the object and the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1662-1669	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 overlaps spatially the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3092-3108	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 overlaps spatially the object2 and the object and the object2 is a member of the collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8951-8955	If an object is connected to another object, then the object meets the other object or overlaps spatially the object and the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9497-9506	If an object is equal to the surface of the hole a hole, then for all another object overlaps spatially the other object and the object 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 overlaps spatially the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9292-9295	If a hole is a hole in a self connected object, then overlaps spatially the hole and the self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5692-5698	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 overlaps spatially the object and the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9419-9426	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 overlaps spatially the object and the self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4880-4885	If an entity is an instance of estuary, then there exists an object such that the object is an instance of river mouth and overlaps spatially the object and the entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3933-3939	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 overlaps spatially the object and the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9114-9120	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 overlaps spatially the object and the third object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 723-725	If an object meets another object, then overlaps spatially the object and the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9060-9062	If an object partially overlaps with another object, then overlaps spatially the object and the other object

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3382-3382	overlaps spatially africa and northern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3383-3383	overlaps spatially africa and southern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3399-3399	overlaps spatially antarctica and eastern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3400-3400	overlaps spatially antarctica and western hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3443-3443	overlaps spatially arctic ocean and arctic region
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3441-3441	overlaps spatially arctic region and eastern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3442-3442	overlaps spatially arctic region and western hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3409-3409	overlaps spatially asia and northern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3410-3410	overlaps spatially asia and southern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 167-167	overlaps spatially caribbean region and north america
No TPTP formula. May not be expressible in strict first order.	Geography.kif 166-166	overlaps spatially caribbean region and south america
No TPTP formula. May not be expressible in strict first order.	Geography.kif 187-187	overlaps spatially central africa and northern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 188-188	overlaps spatially central africa and southern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 191-191	overlaps spatially eastern africa and northern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 192-192	overlaps spatially eastern africa and southern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 242-242	overlaps spatially eastern south america and northern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 243-243	overlaps spatially eastern south america and southern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3404-3404	overlaps spatially europe and eastern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3405-3405	overlaps spatially europe and western hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 168-168	overlaps spatially middle america and north america
No TPTP formula. May not be expressible in strict first order.	Geography.kif 169-169	overlaps spatially middle america and south america
No TPTP formula. May not be expressible in strict first order.	Geography.kif 146-146	overlaps spatially middle east region and asia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 194-194	overlaps spatially northern africa and eastern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 195-195	overlaps spatially northern africa and western hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 246-246	overlaps spatially northern south america and northern hemisphere

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: