No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1387-1387 |
文章类别 是 文件类别 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1395-1395 |
图书馆模型类别 是 文件类别 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1383-1383 |
解决了示例类别 是 文件类别 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1391-1391 |
教程类别 是 文件类别 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20064-20064 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20063-20063 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20062-20062 |
|