No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2813-2813 |
Chavacano语言 是 基于西班牙语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2835-2835 |
Palenquero语言 是 基于西班牙语的克里奥尔语 的 instance |
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 |
|