No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12744-12756 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8351-8351 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8911-8911 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8912-8912 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8913-8913 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8914-8914 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8915-8915 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8916-8916 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8917-8917 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12743-12743 |
例 assiniboine語言 and 達科他群體語言 |