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	杜塞爾多夫德國是德國的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1682-1682	例杜塞爾多夫德國 and City

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2801-2801	名 "Duesseldorf" and 杜塞爾多夫德國
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