SaintLouisMissouri - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 784-784
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5481-5481
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5487-5487
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5488-5488
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5482-5482
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5485-5485
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 782-782	SaintLouisMissouri e' uma instancia de AmericanCity
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 783-783	SaintLouisMissouri e' uma &parte de Missouri

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50847-50847
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50846-50846
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50845-50845