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	Dortmund germany is a geographic subregion of germany
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1678-1678	Dortmund germany is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2797-2797	Dortmund germany has name "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