BadVilbelGermany - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1483-1483
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3409-3409
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3408-3408
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3298-3298
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2582-2582	德国 bad vilbel 是德国的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1482-1482	德国 bad vilbel 是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2583-2583	德国 bad vilbel 的名是 "Bad Vilbel"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9534-9534
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9533-9533
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9532-9532