SulawesiIndonesia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2347-2347
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5518-5518
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5180-5180
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5520-5520
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5519-5519
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3554-3554	Sulawesi indonesia is a geographic subregion of indonesia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2346-2346	Sulawesi indonesia is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3555-3555	Sulawesi indonesia has name "Sulawesi"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56029-56029
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56028-56028
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56027-56027