No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12167-12169 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11410-11410 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11409-11409 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11411-11411 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10114-10114 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11407-11407 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11406-11406 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11408-11408 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12166-12166 |
玛雅语 是 口语人类语言 的 subclass |