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 |
斯利那加印度 是 印度 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2335-2335 |
斯利那加印度 是 城市 的 instance |