No TPTP formula. May not be expressible in strict first order. | Languages.kif 8654-8654 | IndoAryanLanguage e' uma sub-classe de IndoIranianLanguage |
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 |
![]() |