WarsawPoland - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 802-802	Poland is a capital city of warsaw poland
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 803-803
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4454-4454
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4451-4451
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4452-4452
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4062-4062
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4456-4456
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4455-4455
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4453-4453
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4458-4458
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4450-4450
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4459-4459
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3667-3667	Warsaw poland is a geographic subregion of poland
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 801-801	Warsaw poland is an instance of european city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3668-3668	Warsaw poland has name "Warsaw"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62235-62235
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62234-62234
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62233-62233