AntwerpBelgium - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1441-1441
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4073-4073
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4070-4070
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4074-4074
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4506-4506
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4071-4071
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3969-3969
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4072-4072
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2542-2542	Antwerp belgium is a geographic subregion of belgium
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1440-1440	Antwerp belgium is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2543-2543	Antwerp belgium has name "Antwerp"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7926-7926
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7925-7925
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7924-7924