No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9124-9135 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9524-9524 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9523-9523 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9526-9526 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8640-8640 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9520-9520 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9521-9521 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9123-9123 |
Parsi language is an instance of central iranian language |