enemy |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2452-2453 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2447-2447 | enemy 的 1 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2448-2448 | enemy 的 2 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2449-2449 | enemy 是 对象态度 的 instance |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2450-2450 | enemy 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2451-2451 | enemy 是 感兴趣 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2715-2715 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65819-65819 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 89-103 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1876-1888 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 285-296 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2463-2469 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2455-2457 |
consequent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2440-2445 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2332-2338 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2309-2328 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1478-1488 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2471-2474 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2174-2184 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2193-2203 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2032-2042 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1357-1373 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 163-175 |