No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14632-14632 |
例 KannadaLanguage and 德拉威語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14650-14650 |
例 MalayalamLanguage and 德拉威語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14682-14682 |
例 TamilLanguage and 德拉威語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14684-14684 |
例 TeluguLanguage and 德拉威語 |
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 |
|