No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13578-13580 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12136-12136 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10330-10330 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12139-12139 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12138-12138 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12140-12140 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13577-13577 |
Uto aztecan 语 是 口语人类语言 的 subclass |