No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2362-2364 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11202-11202 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11201-11201 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11200-11200 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10058-10058 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2361-2361 |
IberianBasedCreoleLanguage e' uma sub-classe de CreoleLanguage |