| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10535-10535 | 子類 比利牛斯莫扎拉比語 and 西方浪漫語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10541-10541 | 子類 莫扎拉比組織語言 and 比利牛斯莫扎拉比語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10555-10555 | 子類 比利牛斯語 and 比利牛斯莫扎拉比語 |
|
|