No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13729-13729 |
卡拉拉布语 是 西鸟头语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13736-13736 |
Moi语言 是 西鸟头语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13743-13743 |
Moraid语言 是 西鸟头语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13751-13751 |
Seget语言 是 西鸟头语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13758-13758 |
Tehit语言 是 西鸟头语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62741-62741 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62740-62740 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62739-62739 |
|