DortmundGermany - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1679-1679
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3467-3467
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4660-4660
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3315-3315
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3468-3468
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3466-3466
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3465-3465
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3469-3469
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2796-2796	多特蒙德德国是德国的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1678-1678	多特蒙德德国是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2797-2797	多特蒙德德国的名是 "Dortmund"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20214-20214
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20213-20213
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20212-20212