|
|
   CentralZoneIndoAryanLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8661-8662 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8660-8660 | CentralZoneIndoAryanLanguage e' uma sub-classe de IndoAryanLanguage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8717-8717 | DangauraTharuLanguage e' uma instancia de CentralZoneIndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8751-8751 | KathoriyaTharuLanguage e' uma instancia de CentralZoneIndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8763-8763 | ParyaLanguage e' uma instancia de CentralZoneIndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8786-8786 | SonhaLanguage e' uma instancia de CentralZoneIndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8666-8666 | BhilLanguage e' uma sub-classe de CentralZoneIndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8672-8672 | DomLanguage e' uma sub-classe de CentralZoneIndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8678-8678 | GujaratiGroupLanguage e' uma sub-classe de CentralZoneIndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8685-8685 | KhandesiLanguage e' uma sub-classe de CentralZoneIndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8691-8691 | PanjabiGroupLanguage e' uma sub-classe de CentralZoneIndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8697-8697 | RajasthaniGroupLanguage e' uma sub-classe de CentralZoneIndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8704-8704 | RomaniGroupLanguage e' uma sub-classe de CentralZoneIndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8710-8710 | WesternHindiGroupLanguage e' uma sub-classe de CentralZoneIndoAryanLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13908-13908 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13907-13907 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13906-13906 |
|
|
|