| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10198-10198 | 子類 西伊比利亞語 and 伊比利亞浪漫語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10204-10204 | 子類 asturo leonese 語言 and 西伊比利亞語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10269-10269 | 子類 卡斯蒂利亞語 and 西伊比利亞語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10448-10448 | 子類 葡萄牙語加利西亞語 and 西伊比利亞語 |
|
|