No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12760-12775 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9966-9966 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10768-10768 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10772-10772 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10769-10769 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10770-10770 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10771-10771 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12759-12759 |
DakotaLanguage e' uma instancia de DakotaGroupLanguage |