|
|
   IndoAryanLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8655-8656 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8654-8654 | IndoAryanLanguage est une sous-classe de IndoIranianLanguage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14577-14577 | AssameseLanguage est une instance de IndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14583-14583 | BengaliLanguage est une instance de IndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14584-14584 | BihariLanguage est une instance de IndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14611-14611 | DhivehiLanguage est une instance de IndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14620-14620 | HindiLanguage est une instance de IndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14651-14651 | MarathiLanguage est une instance de IndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14660-14660 | NepaliLanguage est une instance de IndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14666-14666 | OriyaLanguage est une instance de IndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14669-14669 | PaliLanguage est une instance de IndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14671-14671 | SanskritLanguage est une instance de IndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14677-14677 | SindhiLanguage est une instance de IndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14673-14673 | SinhaleseLanguage est une instance de IndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14691-14691 | UrduLanguage est une instance de IndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8660-8660 | CentralZoneIndoAryanLanguage est une sous-classe de IndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8796-8796 | NorthwesternZoneIndoAryanLanguage est une sous-classe de IndoAryanLanguage |
| 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 |
|
|
|