No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7878-7878 |
子類 摩澤爾法蘭克西部中德語 and 西中德語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7908-7908 |
子類 Rhenisch Franconian西中德語 and 西中德語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7924-7924 |
子類 盧旺達法郎西西德語 and 西中德語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62889-62889 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62888-62888 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62887-62887 |
|