No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7945-7945 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7947-7947 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7946-7946 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6882-6882 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4692-4692 |
南三明治沟 是 南部海洋 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4691-4691 |
南三明治沟 是 洞 的 instance |