geographicSubregion |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1438-1439 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14049-14051 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14047-14047 | The number 1 argument of geographic subregion is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14048-14048 | The number 2 argument of geographic subregion is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14044-14044 | geographic subregion is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14042-14042 | geographic subregion is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14043-14043 | geographic subregion is an instance of transitive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14046-14046 | geographic subregion is a subrelation of located |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14045-14045 | geographic subregion is a subrelation of proper part |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1097-1097 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1096-1096 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1095-1095 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14089-14089 | geopolitical subdivision is a subrelation of geographic subregion |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25776-25776 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25775-25775 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25774-25774 |
antecedent |
consequent |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2494-2494 | Adana turkey is a geographic subregion of turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2496-2496 | Addis ababa ethiopia is a geographic subregion of ethiopia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2498-2498 | Aden yemen is a geographic subregion of yemen |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2500-2500 | Adora west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 567-567 | Afghanistan is a geographic subregion of southern asia |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3525-3525 | Africa is a geographic subregion of eastern hemisphere |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2502-2502 | Afula israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2504-2504 | Agri turkey is a geographic subregion of turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2506-2506 | Ain defla algeria is a geographic subregion of algeria |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2508-2508 | Ain el hajar algeria is a geographic subregion of algeria |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2510-2510 | Ajaccio france is a geographic subregion of france |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2512-2512 | Al balamand lebanon is a geographic subregion of lebanon |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 370-370 | Albania is a geographic subregion of southeastern europe |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2514-2514 | Alei sinai gaza strip is a geographic subregion of gaza strip |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2516-2516 | Alei zahav west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2518-2518 | Aley lebanon is a geographic subregion of lebanon |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 116-116 | Algeria is a geographic subregion of northern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2520-2520 | Algiers algeria is a geographic subregion of algeria |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2522-2522 | Alkhan yurt russia is a geographic subregion of russia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2524-2524 | Alon moreh west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2526-2526 | Ambon indonesia is a geographic subregion of indonesia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 659-659 | American samoa is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2528-2528 | Amman jordan is a geographic subregion of jordan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2530-2530 | An nuwaydirat bahrain is a geographic subregion of bahrain |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2532-2532 | Andean spain is a geographic subregion of spain |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |