No TPTP formula. May not be expressible in strict first order. | Languages.kif 10535-10535 | 比利牛斯莫扎拉比语 是 西方浪漫语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10541-10541 | 莫扎拉比组织语言 是 比利牛斯莫扎拉比语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10555-10555 | 比利牛斯语 是 比利牛斯莫扎拉比语 的 subclass |