| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3752-3752 |
例 ndyuka trio 洋涇浜語 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 洋涇浜語 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45792-45792 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45791-45791 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45790-45790 |
|
PidginLanguage