No TPTP formula. May not be expressible in strict first order. | Languages.kif 9618-9618 | 子類 西方浪漫語言 and italo西方浪漫語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9625-9625 | 子類 加洛伊比利亞語 and 西方浪漫語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10535-10535 | 子類 比利牛斯莫扎拉比語 and 西方浪漫語言 |