BilbaoSpain - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1551-1551
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4093-4093
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4550-4550
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4095-4095
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4092-4092
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4091-4091
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4094-4094
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4089-4089
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3971-3971
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2653-2653	Bilbao spain is a geographic subregion of spain
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1550-1550	Bilbao spain is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2654-2654	Bilbao spain has name "Bilbao"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10997-10997
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10996-10996
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10995-10995