No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2813-2813 |
Chavacano language is an instance of spanish based creole language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2835-2835 |
Palenquero language is an instance of spanish based creole language |
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 |
|