No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1414-1414 | 帮助 是 社交 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 132-132 | 非常规战争 是 帮助 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1241-1241 | SupportEPW 是 帮助 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1256-1256 | 支持CI 是 帮助 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1272-1272 | SupportDC 是 帮助 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1287-1287 | 支持HW 协助 是 帮助 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1334-1334 | 支持IO 是 帮助 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1906-1906 | 外国内部防御 是 帮助 的 subclass |