Terrorism - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Terrorism

Terrorism(terrorism)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2075-2078
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2074-2074	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 57574-57574
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57573-57573
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57572-57572

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2089-2094	If a process is an instance of terrorism, then there exists an agent such that the agent is an agent of the process and the agent is an instance of terrorist organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2110-2115	If a process is an instance of terrorism, then there exists the processA such that the processA is an instance of terrorist attack and the processA is a subprocess of the process

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2013-2023	If a process is an instance of counter terrorism and an agent is an agent of the process, then there exist another agent and another process such that the agent and the other agent are enemies of each other and the other agent is an agent of the other process and the other process is an instance of terrorism and the process has the purpose the process prevents the occurrence of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2101-2106	If a process is an instance of terrorist attack, then there exists another process such that the other process is an instance of terrorism and the process is a subprocess of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2082-2087	If an agent is an instance of terrorist organization, then there exists a process such that the process is an instance of terrorism and the agent is an agent of the process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners