No TPTP formula. May not be expressible in strict first order. | Languages.kif 13228-13228 | CavinenaTacanaLanguage e' uma sub-classe de TacananLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13234-13234 | CavinenaGroupLanguage e' uma sub-classe de CavinenaTacanaLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13252-13252 | TacanaProperLanguage e' uma sub-classe de CavinenaTacanaLanguage |