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 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 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3418-3423 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9488-9493 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9954-9959 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9816-9822 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9824-9829 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2491-2504 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2470-2481 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1274-1295 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3971-3975 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9509-9515 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12275-12280 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1082-1089 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9501-9507 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9495-9499 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1232-1239 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3117-3133 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9413-9417 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9998-10007 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9793-9796 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9216-9223 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5993-5999 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10498-10505 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5100-5105 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4068-4074 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9607-9613 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 731-733 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9551-9553 |
|
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 |
![]() |
![]() |