No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14122-14122 |
Minica huitoto 语言 是 minica murui 语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14134-14134 |
Murui huitoto 语言 是 minica murui 语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37859-37859 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37858-37858 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37857-37857 |
|