BrusselsBelgium - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1571-1571
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4103-4103
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4102-4102
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4104-4104
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4568-4568
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4106-4106
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3973-3973
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2676-2676	布鲁塞尔，比利时是比利时的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1570-1570	布鲁塞尔，比利时是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2677-2677	布鲁塞尔，比利时的名是 "Brussels"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12179-12179
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12178-12178
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12177-12177