No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13508-13508 |
AghuIndonesianLanguage est une instance de AghuGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13516-13516 |
TsakwamboLanguage est une instance de AghuGroupLanguage |
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 |
|