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 德系語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25884-25884 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25883-25883 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25882-25882 |
|