No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6358-6358 |
例 巴巴雷諾語言 and chumash集團的語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6365-6365 |
例 chumash語言 and chumash集團的語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6376-6376 |
例 cruzeno語言 and chumash集團的語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6384-6384 |
例 ineseno語言 and chumash集團的語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6391-6391 |
例 obispeno語言 and chumash集團的語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6398-6398 |
例 purisimo語言 and chumash集團的語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6405-6405 |
例 冒險語言 and chumash集團的語言 |
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 |
|