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 4038-4040 | |
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 4034-4034 | 重叠 是 自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4035-4035 | 重叠 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4033-4033 | 重叠 是 相连 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9574-9574 | 接触 和 重叠 是 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 4036-4036 | |
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 43782-43782 | |
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 43781-43781 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43780-43780 | |
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 9911-9916 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3496-3501 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9580-9585 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10032-10037 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9903-9909 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9911-9916 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2492-2505 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2471-2482 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1275-1296 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4055-4059 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9601-9607 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12810-12815 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1075-1082 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9593-9599 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9587-9591 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1271-1278 | |
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 9509-9513 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10086-10093 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10076-10084 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9880-9883 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9616-9623 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6096-6102 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10991-10998 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5202-5207 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4146-4152 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9699-9705 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 724-726 | |
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 | 非洲 和 北半球 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3524-3524 | 非洲 和 南半球 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3540-3540 | 南极洲 和 东半球 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3541-3541 | 南极洲 和 西半球 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3584-3584 | 北冰洋 和 北极地区 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3582-3582 | 北极地区 和 东半球 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3583-3583 | 北极地区 和 西半球 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3550-3550 | 亚洲 和 北半球 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3551-3551 | 亚洲 和 南半球 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 167-167 | 加勒比地区 和 北美 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 166-166 | 加勒比地区 和 南美洲 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 187-187 | 中非 和 北半球 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 188-188 | 中非 和 南半球 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 191-191 | 东非 和 北半球 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 192-192 | 东非 和 南半球 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 242-242 | 东南美洲 和 北半球 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 243-243 | 东南美洲 和 南半球 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3545-3545 | 欧洲 和 东半球 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3546-3546 | 欧洲 和 西半球 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 168-168 | 中美洲 和 北美 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 169-169 | 中美洲 和 南美洲 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 146-146 | 中东地区 和 亚洲 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 194-194 | 北非 和 东半球 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 195-195 | 北非 和 西半球 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 246-246 | 北美洲南部 和 北半球 重叠 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |