TreeView Knowledge Base Browser - UnconventionalWarfare

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

UnconventionalWarfare

Sigma KEE - UnconventionalWarfare

UnconventionalWarfare

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 133-158
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 132-132	UnconventionalWarfare e' uma sub-classe de Helping
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 131-131	UnconventionalWarfare e' uma sub-classe de SpecialOperation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 249-249	Exfiltration e' uma sub-classe de UnconventionalWarfare
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 185-185	GuerrillaWarfare e' uma sub-classe de UnconventionalWarfare
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 230-230	IntelligenceActivities e' uma sub-classe de UnconventionalWarfare
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 219-219	Sabotage e' uma sub-classe de UnconventionalWarfare
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 210-210	Subversion e' uma sub-classe de UnconventionalWarfare
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 239-239	UnconventionalAssistedRecovery e' uma sub-classe de UnconventionalWarfare
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59870-59870
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59869-59869
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59868-59868

antecedent

No TPTP formula. May not be expressible in strict first order.

MilitaryProcesses.kif 163-183

Processo e' uma instancia de UnconventionalWarfare Processo e' um agente de Governo Governo e' igual a AutonomousAgent Governo e' igual a o governo de Area Geopolitica AutonomousAgent e' um patient de Processo AutonomousAgent e' membro de ResidentFn Area Geopolitica AutonomousAgent e' uma sub-colecao de ResidentFn Area Geopolitica
Processo Processo e' uma instancia de Contest Processo e' um agente de AutonomousAgent Processo e' um agente de o governo de Area Geopolitica

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

Show without tree

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