No TPTP formula. May not be expressible in strict first order. | Languages.kif 8871-8871 | IranianLanguage e' uma sub-classe de IndoIranianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8877-8877 | EasternIranianLanguage e' uma sub-classe de IranianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8972-8972 | WesternIranianLanguage e' uma sub-classe de IranianLanguage |