TreeView 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 4039-4041
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 4035-4035	overlap spatially is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4036-4036	overlap spatially is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4034-4034	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 9610-9610	meets spatially and overlap 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 4037-4037
No TPTP formula. May not be expressible in strict first order.	french_format.kif 212-212
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 207-207
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 164-164
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 219-219
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 489-489
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 245-245
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 232-232
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 229-229
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 396-396
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43784-43784
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 43783-43783
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43782-43782
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 397-397

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9947-9952	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 3496-3501	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 9616-9621	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 10068-10073	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 9939-9945	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 9947-9952	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 2475-2488	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 2454-2465	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 4056-4060	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.	Merge.kif 9637-9643	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 12837-12842	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 1075-1082	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 9629-9635	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 9623-9627	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 3101-3118	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 9545-9549	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 10122-10129	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 10112-10120	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 9916-9919	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 9643-9650	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 6096-6102	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 11018-11025	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 5202-5207	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 4146-4152	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 9735-9741	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 724-726	If an object meets another object, then the object and the other 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 3523-3523	Africa and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3524-3524	Africa and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3540-3540	Antarctica and eastern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3541-3541	Antarctica and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3584-3584	Arctic ocean and arctic region overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3582-3582	Arctic region and eastern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3583-3583	Arctic region and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3550-3550	Asia and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3551-3551	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 3545-3545	Europe and eastern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3546-3546	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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: