No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14170-14170 |
Ninam语言 是 yanomami语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14185-14185 |
Sanuma语言 是 yanomami语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14198-14198 |
Yanomami语言 是 yanomami语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14209-14209 |
Yanomamo语言 是 yanomami语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63697-63697 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63696-63696 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63695-63695 |
|