No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11584-11584 |
Kanamari语言 是 katukinan语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11592-11592 |
卡塔维西语 是 katukinan语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11599-11599 |
Katukina语言 是 katukinan语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32239-32239 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32238-32238 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32237-32237 |
|