No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8705-8706 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11766-11766 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11765-11765 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10233-10233 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11767-11767 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11762-11762 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11763-11763 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11764-11764 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8704-8704 |
罗马群体语言 是 中区印度雅利安语 的 subclass |