No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14577-14577 |
例 AssameseLanguage and 印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14583-14583 |
例 BengaliLanguage and 印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14584-14584 |
例 BihariLanguage and 印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14611-14611 |
例 DhivehiLanguage and 印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14620-14620 |
例 HindiLanguage and 印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14651-14651 |
例 MarathiLanguage and 印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14660-14660 |
例 NepaliLanguage and 印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14666-14666 |
例 OriyaLanguage and 印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14669-14669 |
例 PaliLanguage and 印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14671-14671 |
例 SanskritLanguage and 印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14677-14677 |
例 SindhiLanguage and 印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14673-14673 |
例 SinhaleseLanguage and 印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14691-14691 |
例 UrduLanguage and 印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8660-8660 |
子類 中區印度雅利安語 and 印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8796-8796 |
子類 西北區印度雅利安語 and 印度雅利安語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29671-29671 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29670-29670 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29669-29669 |
|