No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2336-2336 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3605-3605 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3603-3603 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3606-3606 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3379-3379 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1378-1378 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3604-3604 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3540-3540 |
geographicSubregion SrinagarIndia and India |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2335-2335 |
SrinagarIndia est une instance de ville |