No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5401-5402 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11323-11323 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11322-11322 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11317-11317 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11318-11318 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11319-11319 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11324-11324 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11321-11321 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11320-11320 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10087-10087 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5399-5399 |
Lake region is a subclass of geographic area |