No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12965-12965 |
例 克里薩語 and 克里薩集團的語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12972-12972 |
例 puari語言 and 克里薩集團的語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12979-12979 |
例 拉沃語 and 克里薩集團的語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12987-12987 |
例 瓦拉普語 and 克里薩集團的語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32845-32845 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32844-32844 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32843-32843 |
|