No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12305-12305 |
阿拉巴马语 是 东部的muskogean语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12315-12315 |
Koasati语言 是 东部的muskogean语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12331-12331 |
Mikasuki语言 是 东部的muskogean语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12343-12343 |
Muskogee语言 是 东部的muskogean语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20922-20922 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20921-20921 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20920-20920 |
|