TreeView Knowledge Base Browser - SaintSebastianSpain

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2264-2264
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4280-4280
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4281-4281
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4277-4277
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4279-4279
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4278-4278
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3462-3462	geographicSubregion SaintSebastianSpain and Spain
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2263-2263	SaintSebastianSpain est une instance de ville

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3463-3463	SaintSebastianSpain s'appele nom "Saint Sebastian"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50871-50871
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50870-50870
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50869-50869