| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14042-14042 | 子類 witotoan語 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14049-14049 | 子類 博蘭語言 and witotoan語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14083-14083 | 子類 witoto 團體語言 and witotoan語 |
|
|