No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4747-4760 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11274-11274 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11275-11275 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11273-11273 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4746-4746 |
Kabyle language is an instance of kabyle group language |