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 est une instance de AmericanCity |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 783-783 |
SaintLouisMissouri est une partie de Missouri |