No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7319-7319 |
子類 英語組語言 and 西德語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7655-7655 |
子類 弗里斯蘭語 and 西德語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7726-7726 |
子類 德語小組語言 and 西德語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7720-7720 |
子類 高德語 and 西德語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8223-8223 |
子類 低撒克遜低法蘭克語 and 西德語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8167-8167 |
子類 意第緒語 and 西德語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62865-62865 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62864-62864 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62863-62863 |
|