| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3752-3752 |
Ndyuka trio 洋泾浜语 是 洋泾浜语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3481-3481 |
美洲印地语的洋泾浜语言 是 洋泾浜语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3521-3521 |
基于英语的拼音语言 是 洋泾浜语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3576-3576 |
Hausa基于pidgin语言 是 洋泾浜语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3598-3598 |
我基于洋地黄语言 是 洋泾浜语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3612-3612 |
基于马来语的洋地黄语言 是 洋泾浜语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3629-3629 |
基于mascoian的洋泾语 是 洋泾浜语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3646-3646 |
基于motu的拼音语言 是 洋泾浜语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3668-3668 |
基于onin的洋泾浜语 是 洋泾浜语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3681-3681 |
基于浪漫的洋泾浜语言 是 洋泾浜语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3705-3705 |
基于斯瓦希里语的洋泾语 是 洋泾浜语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3719-3719 |
祖鲁语的拼音语言 是 洋泾浜语 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45794-45794 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45793-45793 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45792-45792 |
|
