enemy |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2470-2470 | enemy is disjoint from allied |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2453-2454 | enemy is disjoint from allied |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2448-2448 | The number 1 argument of enemy is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2449-2449 | The number 2 argument of enemy is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2450-2450 | enemy is an instance of object attitude |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2451-2451 | enemy is an instance of symmetric relation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2452-2452 | enemy is a subrelation of in scope of interest |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2884-2884 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65821-65821 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2441-2446 |
|
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 2832-2846 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2848-2863 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2474-2479 |
|
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 175-187 |
|
![]() |
![]() |