No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12965-12965 |
克里萨语 是 克里萨集团的语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12972-12972 |
Puari语言 是 克里萨集团的语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12979-12979 |
拉沃语 是 克里萨集团的语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12987-12987 |
瓦拉普语 是 克里萨集团的语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32845-32845 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32844-32844 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32843-32843 |
|