No TPTP formula. May not be expressible in strict first order. | Languages.kif 9618-9618 | 西方浪漫语言 是 italo西方浪漫语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9625-9625 | 加洛伊比利亚语 是 西方浪漫语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10535-10535 | 比利牛斯莫扎拉比语 是 西方浪漫语言 的 subclass |