No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8990-8990 |
巴什卡迪语言 是 balochi语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8996-8996 |
东部balochi语言 是 balochi语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9014-9014 |
Koroshi语言 是 balochi语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9021-9021 |
南方的balochi语言 是 balochi语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9046-9046 |
西方balochi语言 是 balochi语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9708-9708 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9707-9707 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9706-9706 |
|