DuesseldorfGermany - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1683-1683
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3474-3474
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3470-3470
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3316-3316
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3475-3475
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3472-3472
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3473-3473
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2800-2800	Duesseldorf germany is a geographic subregion of germany
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1682-1682	Duesseldorf germany is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2801-2801	Duesseldorf germany has name "Duesseldorf"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20664-20664
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20663-20663
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20662-20662