No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14632-14632 |
KannadaLanguage 是 德拉威语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14650-14650 |
MalayalamLanguage 是 德拉威语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14682-14682 |
TamilLanguage 是 德拉威语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14684-14684 |
TeluguLanguage 是 德拉威语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20346-20346 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20345-20345 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20344-20344 |
|