Attack - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Attack

Attack

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3304-3305
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13421-13422
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10449-10449
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9894-9894
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10447-10447
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10448-10448
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13420-13420	Attack e' uma sub-classe de Manobra

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 40-40	BiochemicalAttack e' uma sub-classe de Attack
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2053-2053	CTNwInfraAttack e' uma sub-classe de Attack
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 437-437	StandoffAttack e' uma sub-classe de Attack
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2114-2114	TerroristAttack e' uma sub-classe de Attack
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8976-8976
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8975-8975
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8974-8974

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13431-13440	Processo e' uma instancia de Attack Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo tem finalidade Entidade Entidade e' uma instancia de Causar Dano Entidade e' um patient de Entidade para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13424-13429	Processo e' uma instancia de Attack Processo Processo e' uma instancia de ViolentContest Processo e' um sub-processo de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21756-21768	Processo e' uma instancia de Ambush Processo e' um agente de AutonomousAgent Processo Processo e' uma instancia de Concealing Processo e' um sub-processo de Processo Processo tem por fim Entidade Entidade e' uma instancia de Attack Entidade e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 89-103	Processo e' uma instancia de ArmedReconnaissance Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo enemy Agente Cognitivo and Entidade vale durante tempo de existencia de Processo Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade e' uma instancia de Attack Entidade e' um agente de Agente Cognitivo Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13464-13471	Processo e' uma instancia de Manobra Processo e' uma instancia de ViolentContest Processo e' um sub-processo de Processo Processo e' uma instancia de Attack Processo e' uma instancia de DefensiveManeuver
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 121-129	Processo e' uma instancia de PoststrikeReconnaissance Entidade e' um patient de Processo Processo Processo e' uma instancia de Attack Entidade e' um patient de Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18599-18613	Processo e' uma instancia de Robbing Processo e' um agente de AutonomousAgent AutonomousAgent2 e' um patient de Processo Processo Processo e' uma instancia de Threatening Processo e' um sub-processo de Processo Entidade Entidade e' uma instancia de Attack Entidade e' um agente de AutonomousAgent AutonomousAgent2 e' um patient de Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 713-723	Processo e' uma instancia de ReconnaissanceByFire Processo e' um agente de AutonomousAgent Processo Entidade Entidade e' um patient de Processo Processo e' um sub-processo de Processo Processo e' uma instancia de Attack Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 694-704	Processo e' uma instancia de ReconnaissanceOperation Processo e' um agente de AutonomousAgent Processo tem por fim Entidade Entidade Entidade e' uma instancia de Attack Entidade e' um agente de AutonomousAgent Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 482-498	Entidade_CTRL e' uma instancia de TerminalAttackControl Entidade_CTRL e' um agente de AutonomousAgent EntidadeRGET e' um patient de Entidade_CTRL Agente Cognitivo AutonomousAgent e' igual a Agente Cognitivo Entidade_CTRL autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade e' uma instancia de Attack Entidade e' um agente de Agente Cognitivo EntidadeRGET e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 535-547	Entidade_CTRL e' uma instancia de TerminalGuidance Entidade_CTRL e' um agente de Agente Cognitivo EntidadeRGET e' um patient de Entidade_CTRL Agente Cognitivo nao %n o direito de executar Entidade Entidade e' uma instancia de Attack Entidade e' um agente de Agente Cognitivo EntidadeRGET e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1935-1941	Fisico e' uma instancia de AH1 Fisico tem por fim Entidade Entidade e' uma instancia de Attack Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Military.kif 164-172	Fisico e' uma instancia de Fighter Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Attack Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de MilitaryAircraft

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