| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9746-9746 | 子類 oiel語言 and 加洛拉蒂安語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9752-9752 | 子類 法語小組語言 and oiel語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9937-9937 | 子類 東南地區的語言 and oiel語言 |
|
|