AthensGreece - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1469-1469
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3402-3402
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3399-3399
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3396-3396
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3398-3398
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4513-4513
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3404-3404
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3406-3406
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3405-3405
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3397-3397
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3296-3296
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3401-3401
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3407-3407
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2570-2570	Athens greece is a geographic subregion of greece
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1468-1468	Athens greece is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2571-2571	Athens greece has name "Athens"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8868-8868
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8867-8867
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8866-8866