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 8884-8886
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8881-8881	overlaps spatially is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8882-8882	overlaps spatially is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8880-8880	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 8874-8874	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 43699-43699	"在空间上重叠" is the printable form of overlaps spatially in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 368-368	"重叠" is the printable form of overlaps spatially in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43698-43698	"在空間上重疊" is the printable form of overlaps spatially in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43697-43697	"overlaps spatially" is the printable form of overlaps spatially in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8888-8893	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 9199-9204	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 9329-9334	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 9191-9197	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 9199-9204	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 1008-1021	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 OverlapsSpatially 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 985-996	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 902-923	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 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 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 3782-3786	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 8903-8909	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 10460-10464	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 8895-8901	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 1656-1663	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 3091-3107	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 8827-8831	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 9373-9382	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 9168-9171	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 5693-5699	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 9439-9446	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 8990-8996	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 8936-8938	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: