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 8883-8883 | SoutheasternIranianLanguage e' uma sub-classe de EasternIranianLanguage |