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 | 例 在空間上重疊 and ReflexiveRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4035-4035 | 例 在空間上重疊 and SymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4033-4033 | 子關係 在空間上重疊 and 連接的 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9596-9596 | 不相交的關係 空間的符合 and 在空間上重疊 |
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 9933-9938 | |
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 9602-9607 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10054-10059 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9925-9931 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9933-9938 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2488-2501 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2467-2478 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1271-1292 |
|
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 9623-9629 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12809-12814 | |
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 9615-9621 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9609-9613 | |
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 3124-3141 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9531-9535 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10108-10115 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10098-10106 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9902-9905 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9615-9622 | |
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 10990-10997 | |
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 9721-9727 | |
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 | 在空間上重疊 非洲 and 北半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3524-3524 | 在空間上重疊 非洲 and 南半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3540-3540 | 在空間上重疊 南極洲 and 東半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3541-3541 | 在空間上重疊 南極洲 and 西半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3584-3584 | 在空間上重疊 北冰洋 and 北極地區 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3582-3582 | 在空間上重疊 北極地區 and 東半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3583-3583 | 在空間上重疊 北極地區 and 西半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3550-3550 | 在空間上重疊 亞洲 and 北半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3551-3551 | 在空間上重疊 亞洲 and 南半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 167-167 | 在空間上重疊 加勒比地區 and 北美 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 166-166 | 在空間上重疊 加勒比地區 and 南美洲 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 187-187 | 在空間上重疊 中非 and 北半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 188-188 | 在空間上重疊 中非 and 南半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 191-191 | 在空間上重疊 東非 and 北半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 192-192 | 在空間上重疊 東非 and 南半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 242-242 | 在空間上重疊 東南美洲 and 北半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 243-243 | 在空間上重疊 東南美洲 and 南半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3545-3545 | 在空間上重疊 歐洲 and 東半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3546-3546 | 在空間上重疊 歐洲 and 西半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 168-168 | 在空間上重疊 中美洲 and 北美 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 169-169 | 在空間上重疊 中美洲 and 南美洲 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 146-146 | 在空間上重疊 中東地區 and 亞洲 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 194-194 | 在空間上重疊 北非 and 東半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 195-195 | 在空間上重疊 北非 and 西半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 246-246 | 在空間上重疊 北美洲南部 and 北半球 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |