No TPTP formula. May not be expressible in strict first order. | Merge.kif 12136-12136 | 计算 是 有意图的心理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12140-12140 | 测量 是 计算 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12153-12153 | 数 是 计算 的 subclass |