Terrorism(terrorism) | ![]() | terror |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2093-2096 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2092-2092 | Terrorism is a subclass of violent contest |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57608-57608 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57607-57607 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57606-57606 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2107-2112 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2128-2133 |
|
consequent |
![]() |
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 2119-2124 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2100-2105 |
|
![]() |
![]() |