HannoverGermany - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1777-1777
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3521-3521
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3517-3517
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3520-3520
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3519-3519
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3518-3518
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3332-3332
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3516-3516
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2905-2905	汉诺威德国是德国的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1776-1776	汉诺威德国是港口城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2906-2906	汉诺威德国的名是 "Hannover"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27378-27378
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27377-27377
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27376-27376