No TPTP formula. May not be expressible in strict first order. | Languages.kif 11144-11144 | FiveNationsLanguage e' uma sub-classe de NorthernIroquoianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11150-11150 | MohawkOneidaLanguage e' uma sub-classe de FiveNationsLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11184-11184 | SenecaOnondagaLanguage e' uma sub-classe de FiveNationsLanguage |
![]() |