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 14071-14073 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14069-14069 | O argumento numero 1 de geographicSubregion e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14070-14070 | O argumento numero 2 de geographicSubregion e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14066-14066 | geographicSubregion e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14064-14064 | geographicSubregion e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14065-14065 | geographicSubregion e' uma instancia de Relacao Transitiva |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14068-14068 | geographicSubregion e' uma sub-relacao de located |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14067-14067 | geographicSubregion e' uma sub-relacao 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 14111-14111 | geopoliticalSubdivision e' uma sub-relacao 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 |