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 |
Srinagar india is a geographic subregion of india |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2335-2335 |
Srinagar india is an instance of city |