No TPTP formula. May not be expressible in strict first order. | Languages.kif 7105-7105 | 子類 德系語 and 印度歐洲語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7112-7112 | 子類 東德語 and 德系語 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7130-7130 | 子類 北方的德語 and 德系語 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7313-7313 | 子類 西德語 and 德系語 |