webPurchases SouthCarolina
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1098-1098 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5507-5507 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5177-5177 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5509-5509 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1095-1095 | South Carolina is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1097-1097 | South Carolina meets georgia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1096-1096 | South Carolina meets north atlantic ocean |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1064-1064 | North carolina meets South Carolina |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65519-65519 |