BangorNorthernIreland - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1503-1503
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3412-3412
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3300-3300
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3411-3411
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 1502-1502	Bangor northern ireland is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2603-2603	Bangor northern ireland has name "Bangor"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9792-9792
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9791-9791
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9790-9790