LuebeckGermany - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1981-1981
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3549-3549
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3548-3548
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3547-3547
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3550-3550
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3346-3346
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3150-3150	吕贝克德国是德国的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1980-1980	吕贝克德国是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3151-3151	吕贝克德国的名是 "Luebeck"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35255-35255
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35254-35254
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35253-35253