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 |
South sandwich trench is a geographic subregion of southern ocean |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4691-4691 |
South sandwich trench is an instance of hole |