No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11732-11732 |
Ama left may 语言 是 left may语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11744-11744 |
博语言 是 left may语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11756-11756 |
Iteri语言 是 left may语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11764-11764 |
Nakwi语言 是 left may语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11775-11775 |
尼莫语 是 left may语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11785-11785 |
Owiniga语言 是 left may语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11793-11793 |
岩石峰值语言 是 left may语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33767-33767 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33766-33766 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33765-33765 |
|