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	班戈北爱尔兰是北爱尔兰的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1502-1502	班戈北爱尔兰是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2603-2603	班戈北爱尔兰的名是 "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