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