No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12305-12305 |
例 阿拉巴馬語 and 東部的muskogean語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12315-12315 |
例 koasati語言 and 東部的muskogean語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12331-12331 |
例 mikasuki語言 and 東部的muskogean語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12343-12343 |
例 muskogee語言 and 東部的muskogean語言 |
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 |
|