TreeView Knowledge Base Browser - ChairmanJCS

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ChairmanJCS

ChairmanJCS

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 918-919
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 912-912	ChairmanJCS e' uma instancia de Posicao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 917-917	leaderPosition JointChiefsOfStaff and ChairmanJCS
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 899-899	leaderPosition JointStaff and ChairmanJCS
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14040-14040
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14039-14039
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2764-2764
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14038-14038

antecedent

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

MilitaryProcesses.kif 914-916

ChairmanJCS e' um atributo de Objeto
Objeto e' membro de JointChiefsOfStaff

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
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 964-971	Entidade e' uma instancia de AboveTheLine Processo AutonomousAgent Processo e' uma instancia de SigningAnAgreement ChairmanJCS e' um atributo de AutonomousAgent 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 1034-1041	Entidade e' uma instancia de ChairmanPublication Processo AutonomousAgent Processo e' uma instancia de Administrar ChairmanJCS e' um atributo de AutonomousAgent 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 1046-1053	Entidade e' uma instancia de ChairmanPublication Processo AutonomousAgent Processo e' uma instancia de SigningAnAgreement ChairmanJCS e' um atributo de AutonomousAgent 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 930-937	Entidade e' uma instancia de JointPublication Processo AutonomousAgent Processo e' uma instancia de Administrar ChairmanJCS e' um atributo de AutonomousAgent Processo e' um agente de AutonomousAgent Entidade e' um patient de 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