No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1597-1603 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1865-1877 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1902-1914 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3629-3642 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3657-3670 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3682-3695 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3708-3721 |
|