No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2923-2923 |
Abinomn语言 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2935-2935 |
阿伊努语日语 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2954-2954 |
Andoque语言 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2968-2968 |
缅甸语 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2983-2983 |
Burushaski语言 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3000-3000 |
Busa语言 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3009-3009 |
Camsa语言 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3018-3018 |
Cayubaba语言 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1537-1537 |
英语 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14424-14424 |
FaroeseLanguage 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14972-14972 |
法语 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14977-14977 |
德国的语言 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3027-3027 |
Gilyak语言 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14982-14982 |
希腊语 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3046-3046 |
Itonama语言 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3055-3055 |
Karkar yuri 语 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3066-3066 |
基比里语 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3077-3077 |
朝鲜语 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3114-3114 |
Kutenai语言 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14986-14986 |
拉丁语 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3128-3128 |
Nihali语言 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3144-3144 |
潘卡拉鲁语 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3153-3153 |
Puelche语 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3161-3161 |
Puinave语言 是 口语人类语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3173-3173 |
Purepecha语言 是 口语人类语言 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |