| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12023-12023 | 选择 是 有意图的心理过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 318-318 | 指定 是 选择 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12028-12028 | 决定 是 选择 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12096-12096 | 表决 是 选择 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12109-12109 | 判断 是 选择 的 subclass |
|
|