No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7947-7947 |
Alemannic语言 是 上德语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8022-8022 |
土耳其语 是 上德语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8059-8059 |
巴伐利亚奥地利语言 是 上德语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60628-60628 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60627-60627 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60626-60626 |
|