overlapsSpatially |
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 4057-4059 | |
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 4050-4050 | The number 1 argument of overlap spatially is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4051-4051 | The number 2 argument of overlap spatially is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4053-4053 | overlap spatially is an instance of reflexive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4054-4054 | overlap spatially is an instance of symmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4049-4049 | 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 9710-9710 | 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 4055-4055 | 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 43784-43784 | 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 43783-43783 | meets spatially and overlap spatially are disjoint |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43782-43782 | 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 10049-10054 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3654-3659 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9716-9721 |
|
consequent |
![]() |
appearance as argument number 0 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3681-3681 | Africa and northern hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3682-3682 | Africa and southern hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3698-3698 | Antarctica and eastern hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3699-3699 | Antarctica and western hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3742-3742 | Arctic ocean and arctic region overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3740-3740 | Arctic region and eastern hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3741-3741 | Arctic region and western hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3708-3708 | Asia and northern hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3709-3709 | 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 3703-3703 | Europe and eastern hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3704-3704 | 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 |
![]() |
![]() |