No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9514-9514 |
达尔马提亚语 是 italo达尔马提亚浪漫语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9522-9522 |
爱国者语言 是 italo达尔马提亚浪漫语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9541-9541 |
意大利语 是 italo达尔马提亚浪漫语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9532-9532 |
犹太意大利语 是 italo达尔马提亚浪漫语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9588-9588 |
Napoletano calabrese 语 是 italo达尔马提亚浪漫语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9602-9602 |
西西里语 是 italo达尔马提亚浪漫语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31267-31267 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31266-31266 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31265-31265 |
|