BonnGermany - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1565-1565
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3446-3446
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3445-3445
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3447-3447
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3311-3311
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3448-3448
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4559-4559
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3444-3444
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2667-2667	波恩德国是德国的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1564-1564	波恩德国是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2668-2668	波恩德国的名是 "Bonn"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11597-11597
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11596-11596
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11595-11595