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	安特衛普比利時是比利時的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1440-1440	例安特衛普比利時 and City

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2543-2543	名 "Antwerp" and 安特衛普比利時
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