GenevaSwitzerland - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1737-1737
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4700-4700
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4135-4135
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4134-4134
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4128-4128
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3979-3979
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4132-4132
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4130-4130
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4127-4127
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4131-4131
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4129-4129
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4133-4133
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2863-2863	Geneva switzerland is a geographic subregion of switzerland
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1736-1736	Geneva switzerland is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2864-2864	Geneva switzerland has name "Geneva"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25764-25764
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25763-25763
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25762-25762