DublinIreland - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1681-1681
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4125-4125
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4120-4120
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4122-4122
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4123-4123
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4121-4121
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4668-4668
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2798-2798	爱尔兰都柏林是爱尔兰的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1680-1680	爱尔兰都柏林是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2799-2799	爱尔兰都柏林的名是 "Dublin"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20646-20646
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20645-20645
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20644-20644