| NorthernIreland(northern ireland)
| | Northern_Ireland |
| 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 | Northern ireland is an instance of geographic area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6954-6954 | Northern ireland is northwest to England |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6953-6953 | Northern ireland is southwest to scotland |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6963-6963 | Northern ireland is northwest to Wales |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6969-6969 | United kingdom is a primary geopolitical subdivision of northern ireland |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2554-2554 | Armagh northern ireland is a geographic subregion of northern ireland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2598-2598 | Banbridge northern ireland is a geographic subregion of northern ireland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2602-2602 | Bangor northern ireland is a geographic subregion of northern ireland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2636-2636 | Belfast northern ireland is a geographic subregion of northern ireland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3136-3136 | Londonberry northern ireland is a geographic subregion of northern ireland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3266-3266 | Murlough northern ireland is a geographic subregion of northern ireland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3348-3348 | Omagh northern ireland is a geographic subregion of northern ireland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3545-3545 | Stewartstown northern ireland is a geographic subregion of northern ireland |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6965-6965 | Isle of man is east to northern ireland |
| 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 |
|
|
|