No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12092-12108 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4195-4210 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 250-264 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 280-296 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 307-317 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 65-78 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 400-415 |
|