No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11810-11810 |
仓库语言 是 较低的mamberamo语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11831-11831 |
轭语言 是 较低的mamberamo语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35129-35129 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35128-35128 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35127-35127 |
|