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 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2448-2448 | 域 enemy, 2 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2449-2449 | 例 enemy and ObjectAttitude |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2450-2450 | 例 enemy and SymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2451-2451 | 子關係 enemy and 在感興趣的範圍內 |
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 |
|