No TPTP formula. May not be expressible in strict first order. | Biography.kif 730-740 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12697-12697 | 写作 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12703-12703 | 编码 是 写作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12709-12709 | 解码 是 写作 的 subclass |