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 14095-14097 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14093-14093 | Le nombre 1 argument de geographicSubregion est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14094-14094 | Le nombre 2 argument de geographicSubregion est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14090-14090 | geographicSubregion est une instance de relation asym�trique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14088-14088 | geographicSubregion est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14089-14089 | geographicSubregion est une instance de relation transitive |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14092-14092 | geographicSubregion est une sous-relation de located |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14091-14091 | geographicSubregion est une sous-relation de properPart |
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 14135-14135 | geopoliticalSubdivision est une sous-relation de geographicSubregion |
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 | geographicSubregion AdanaTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2496-2496 | geographicSubregion AddisAbabaEthiopia and Ethiopia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2498-2498 | geographicSubregion AdenYemen and Yemen |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2500-2500 | geographicSubregion AdoraWestBank and WestBank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 567-567 | geographicSubregion Afghanistan and SouthernAsia |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3525-3525 | geographicSubregion Africa and EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2502-2502 | geographicSubregion AfulaIsrael and Israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2504-2504 | geographicSubregion AgriTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2506-2506 | geographicSubregion AinDeflaAlgeria and Algeria |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2508-2508 | geographicSubregion AinElHajarAlgeria and Algeria |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2510-2510 | geographicSubregion AjaccioFrance and France |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2512-2512 | geographicSubregion AlBalamandLebanon and Lebanon |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 370-370 | geographicSubregion Albania and SoutheasternEurope |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2514-2514 | geographicSubregion AleiSinaiGazaStrip and GazaStrip |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2516-2516 | geographicSubregion AleiZahavWestBank and WestBank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2518-2518 | geographicSubregion AleyLebanon and Lebanon |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 116-116 | geographicSubregion Algeria and NorthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2520-2520 | geographicSubregion AlgiersAlgeria and Algeria |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2522-2522 | geographicSubregion AlkhanYurtRussia and Russia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2524-2524 | geographicSubregion AlonMorehWestBank and WestBank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2526-2526 | geographicSubregion AmbonIndonesia and Indonesia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 659-659 | geographicSubregion AmericanSamoa and Oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2528-2528 | geographicSubregion AmmanJordan and Jordan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2530-2530 | geographicSubregion AnNuwaydiratBahrain and Bahrain |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2532-2532 | geographicSubregion AndeanSpain and Spain |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |