No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11043-11043 |
卡舒比语 是 lechitic语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11057-11057 |
极地语言 是 lechitic语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11063-11063 |
波兰语 是 lechitic语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33731-33731 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33730-33730 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33729-33729 |
|