TreeView Knowledge Base Browser - CombatantCommander

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

CombatantCommander

Sigma KEE - CombatantCommander

CombatantCommander

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 332-332	CombatantCommander e' uma instancia de Posicao
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 333-333	CombatantCommander e' um sub-atributo de MilitaryCommander

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15720-15720
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15719-15719
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15718-15718

consequent

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

MilitaryProcesses.kif 1582-1604

Processo e' uma instancia de OperationPlanning Processo e' um agente de AutonomousAgent
AutonomousAgent e' uma instancia de CombatantCommander Processo AutonomousAgent Processo e' uma instancia de Pedir Processo e' um agente de AutonomousAgent ChairmanJCS e' um atributo de AutonomousAgent Processo causa Processo AutonomousAgent e' uma instancia de SubunifiedCommander Processo AutonomousAgentSUPER and Organizacao Processo e' uma instancia de Pedir Processo e' um agente de AutonomousAgentSUPER MilitaryCommander e' um atributo de AutonomousAgentSUPER subordinatePosition Organizacao, AutonomousAgent and AutonomousAgentSUPER Organizacao e' uma instancia de MilitaryForce Processo causa Processo

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