SaintPaulMinnesota - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 786-786	Minnesota is a capital city of saint paul minnesota
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 788-789
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5495-5495
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5170-5170
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5492-5492
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5493-5493
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5494-5494
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5489-5489
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5491-5491
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5490-5490
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 785-785	Saint paul minnesota is an instance of american city
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 787-787	Saint paul minnesota meets minneapolis minnesota

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50859-50859
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50858-50858
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50857-50857