| 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 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 |
|
|