No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2418-2418 |
KitubaLanguage est une instance de KongoBasedCreoleLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2432-2432 |
MunukutubaLanguage est une instance de KongoBasedCreoleLanguage |
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 |
|