No TPTP formula. May not be expressible in strict first order. | Languages.kif 6965-6965 | Celtic language is a subclass of indo european language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6972-6972 | Insular celtic language is a subclass of celtic language |