No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12668-12668 |
Catawba集团的语言 是 siouan语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12683-12683 |
Siouan适当的语言 是 siouan语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53218-53218 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53217-53217 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53216-53216 |
|