No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8717-8717 |
例 dangaura tharu 語 and 中區印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8751-8751 |
例 kathoriya tharu 語 and 中區印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8763-8763 |
例 parya語言 and 中區印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8786-8786 |
例 索哈語 and 中區印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8666-8666 |
子類 bhil語言 and 中區印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8672-8672 |
子類 dom語言 and 中區印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8678-8678 |
子類 古吉拉特團體語言 and 中區印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8685-8685 |
子類 khandesi語言 and 中區印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8691-8691 |
子類 旁遮普語言 and 中區印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8697-8697 |
子類 拉賈斯坦集團的語言 and 中區印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8704-8704 |
子類 羅馬群體語言 and 中區印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8710-8710 |
子類 西印度群島語言 and 中區印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13908-13908 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13907-13907 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13906-13906 |
|