No TPTP formula. May not be expressible in strict first order. | Languages.kif 6972-6972 | InsularCelticLanguage est une sous-classe de CelticLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6978-6978 | BrythonicLanguage est une sous-classe de InsularCelticLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7039-7039 | GoidelicLanguage est une sous-classe de InsularCelticLanguage |