No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2813-2813 |
ChavacanoLanguage est une instance de SpanishBasedCreoleLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2835-2835 |
PalenqueroLanguage est une instance de SpanishBasedCreoleLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54440-54440 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54439-54439 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54438-54438 |
|