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