No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2361-2361 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5793-5793 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5795-5795 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5797-5797 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5794-5794 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3566-3566 |
geographicSubregion TandySriLanka and SriLanka |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2360-2360 |
TandySriLanka est une instance de ville |