No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14122-14122 |
Minica huitoto language is an instance of minica murui language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14134-14134 |
Murui huitoto language is an instance of minica murui language |
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 |
|