ApureVenezuela - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1445-1445
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5699-5699
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5596-5596
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2546-2546	Apure venezuela is a geographic subregion of venezuela
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1444-1444	Apure venezuela is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2547-2547	Apure venezuela has name "Apure"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8070-8070
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8069-8069
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8068-8068