No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1890-1890 | 子類 侵略性信息操作 and 信息操作 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1891-1891 | 子類 侵略性信息操作 and Investigating |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2045-2045 | 子類 CT智能手術 and 侵略性信息操作 |