No TPTP formula. May not be expressible in strict first order. | Languages.kif 14110-14110 | WitotoProperLanguage e' uma sub-classe de WitotoGroupLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14117-14117 | MinicaMuruiLanguage e' uma sub-classe de WitotoProperLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14150-14150 | NipodeLanguage e' uma sub-classe de WitotoProperLanguage |