No TPTP formula. May not be expressible in strict first order. | Languages.kif 3468-3468 | 洋泾浜语 是 口语人类语言 的 subclass |
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 |
![]() |