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 9525-9525 |
|
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 9527-9527 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8641-8641 |
|
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. |
pictureList.kif 9522-9522 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9123-9123 |
Parsi语言 是 中央伊朗语言 的 instance |