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	例布魯塞爾，比利時 and City

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2677-2677	名 "Brussels" and 布魯塞爾，比利時
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