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