No TPTP formula. May not be expressible in strict first order. | Languages.kif 9740-9740 | 子類 加洛拉蒂安語 and 加洛浪漫語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9746-9746 | 子類 oiel語言 and 加洛拉蒂安語 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9970-9970 | 子類 rhaetian語言 and 加洛拉蒂安語 |