No TPTP formula. May not be expressible in strict first order. | Languages.kif 6972-6972 | Insular celtic language is a subclass of celtic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6978-6978 | Brythonic language is a subclass of insular celtic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7039-7039 | Goidelic language is a subclass of insular celtic language |