No TPTP formula. May not be expressible in strict first order. | Languages.kif 8654-8654 | 子類 印度雅利安語 and 印度伊朗語 |
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 8796-8796 | 子類 西北區印度雅利安語 and 印度雅利安語 |