StockholmSweden - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2341-2341
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4321-4321
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4323-4323
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4329-4329
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4326-4326
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4324-4324
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4328-4328
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4028-4028
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4327-4327
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3547-3547	瑞典斯德哥尔摩是瑞典的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2340-2340	瑞典斯德哥尔摩是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3548-3548	瑞典斯德哥尔摩的名是 "Stockholm"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55398-55398
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55397-55397
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55396-55396