No TPTP formula. May not be expressible in strict first order. | Languages.kif 6972-6972 | 子類 島嶼凱爾特語 and 凱爾特語 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6978-6978 | 子類 brythonic語言 and 島嶼凱爾特語 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7039-7039 | 子類 goidelic語言 and 島嶼凱爾特語 |
![]() |