No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1787-1787 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5258-5258 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5260-5260 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5259-5259 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5122-5122 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2915-2915 |
geographicSubregion HeartAfghanistan and Afghanistan |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1786-1786 |
HeartAfghanistan est une instance de ville |