No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9625-9625 |
加洛伊比利亚语 是 西方浪漫语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10535-10535 |
比利牛斯莫扎拉比语 是 西方浪漫语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62829-62829 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62828-62828 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62827-62827 |
|