No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13508-13508 |
Aghu indonesian language is an instance of aghu group language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13516-13516 |
Tsakwambo language is an instance of aghu group language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5844-5844 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5843-5843 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5842-5842 |
|