TandySriLanka - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2361-2361
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5793-5793
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5795-5795
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5797-5797
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5794-5794
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3566-3566	Tandy sri lanka is a geographic subregion of sri lanka
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2360-2360	Tandy sri lanka is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3567-3567	Tandy sri lanka has name "Tandy"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56893-56893
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56892-56892
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56891-56891