| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3468-3468 | 子類 洋涇浜語 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3481-3481 | 子類 美洲印地語的洋涇浜語言 and 洋涇浜語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3521-3521 | 子類 基於英語的拼音語言 and 洋涇浜語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3576-3576 | 子類 hausa基於pidgin語言 and 洋涇浜語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3598-3598 | 子類 我基於洋地黃語言 and 洋涇浜語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3612-3612 | 子類 基於馬來語的洋地黃語言 and 洋涇浜語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3629-3629 | 子類 基於mascoian的洋涇語 and 洋涇浜語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3646-3646 | 子類 基於motu的拼音語言 and 洋涇浜語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3668-3668 | 子類 基於onin的洋涇浜語 and 洋涇浜語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3681-3681 | 子類 基於浪漫的洋涇浜語言 and 洋涇浜語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3705-3705 | 子類 基於斯瓦希里語的洋涇語 and 洋涇浜語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3719-3719 | 子類 祖魯語的拼音語言 and 洋涇浜語 |
|
|