|
|
  NorthernIreland
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1312-1312 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3578-3578 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3361-3361 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3577-3577 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1313-1313 | NorthernIreland e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6954-6954 | NorthernIreland e' Northwest em relacao a England |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6953-6953 | NorthernIreland e' Southwest em relacao a Scotland |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6963-6963 | NorthernIreland e' Northwest em relacao a Wales |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6969-6969 | primaryGeopoliticalSubdivision NorthernIreland and UnitedKingdom |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2554-2554 | geographicSubregion ArmaghNorthernIreland and NorthernIreland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2598-2598 | geographicSubregion BanbridgeNorthernIreland and NorthernIreland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2602-2602 | geographicSubregion BangorNorthernIreland and NorthernIreland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2636-2636 | geographicSubregion BelfastNorthernIreland and NorthernIreland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3136-3136 | geographicSubregion LondonberryNorthernIreland and NorthernIreland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3266-3266 | geographicSubregion MurloughNorthernIreland and NorthernIreland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3348-3348 | geographicSubregion OmaghNorthernIreland and NorthernIreland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3545-3545 | geographicSubregion StewartstownNorthernIreland and NorthernIreland |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6965-6965 | IsleOfMan e' East em relacao a NorthernIreland |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41103-41103 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41102-41102 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41101-41101 |
|
|
|
