No TPTP formula. May not be expressible in strict first order. | Languages.kif 8660-8660 | 子類 中區印度雅利安語 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 中區印度雅利安語 |