No TPTP formula. May not be expressible in strict first order. | Languages.kif 11184-11184 | SenecaOnondagaLanguage est une sous-classe de FiveNationsLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11190-11190 | OnondagaGroupLanguage est une sous-classe de SenecaOnondagaLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11208-11208 | SenecaCayugaLanguage est une sous-classe de SenecaOnondagaLanguage |
![]() |