No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2418-2418 |
Kituba language is an instance of kongo based creole language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2432-2432 |
Munukutuba language is an instance of kongo based creole language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32773-32773 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32772-32772 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32771-32771 |
|