No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11732-11732 |
例 ama left may 語言 and left may語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11744-11744 |
例 博語言 and left may語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11756-11756 |
例 iteri語言 and left may語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11764-11764 |
例 nakwi語言 and left may語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11775-11775 |
例 尼莫語 and left may語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11785-11785 |
例 owiniga語言 and left may語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11793-11793 |
例 岩石峰值語言 and left may語言 |
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 |
|