No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8820-8820 |
东北巴沙伊语 是 帕萨伊集团的语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8832-8832 |
西北巴沙伊语 是 帕萨伊集团的语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8844-8844 |
东南巴沙伊语 是 帕萨伊集团的语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8859-8859 |
西南巴沙伊语 是 帕萨伊集团的语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44634-44634 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44633-44633 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44632-44632 |
|