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