No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6358-6358 |
巴巴雷诺语言 是 chumash集团的语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6365-6365 |
Chumash语言 是 chumash集团的语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6376-6376 |
Cruzeno语言 是 chumash集团的语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6384-6384 |
Ineseno语言 是 chumash集团的语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6391-6391 |
Obispeno语言 是 chumash集团的语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6398-6398 |
Purisimo语言 是 chumash集团的语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6405-6405 |
冒险语言 是 chumash集团的语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14802-14802 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14801-14801 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14800-14800 |
|