MilitaryForce - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MilitaryForce

MilitaryForce

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3729-3730
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16728-16731
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7334-7334
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7335-7335
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7336-7336
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7337-7337
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7338-7338
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7339-7339
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7340-7340
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7341-7341
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6701-6701
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7342-7342
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16727-16727	MilitaryForce e' uma sub-classe de Organizacao Politica

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 792-792	AmphibiousReconnaissanceUnit e' uma sub-classe de MilitaryForce
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2340-2340	CivilAffairs e' uma sub-classe de MilitaryForce
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16737-16737	MilitaryOrganization e' uma sub-classe de MilitaryForce
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16743-16743	ParamilitaryOrganization e' uma sub-classe de MilitaryForce
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37625-37625
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37624-37624
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37623-37623

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 285-296	Colecao e' uma instancia de MilitaryForce AutonomousAgent e' uma instancia de Humano Processo e' uma instancia de Imprisoning AutonomousAgent e' membro de Colecao Processo e' um agente de AutonomousAgent AutonomousAgent e' um patient de Processo enemy AutonomousAgent and AutonomousAgent eventLocated Processo and Objeto WarState e' um atributo de Objeto PrisonerOfWar e' um atributo de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16733-16735	Objeto e' uma instancia de MilitaryForce Objeto e' capaz de fazer ViolentContest no role agent

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1960-1975	Processo e' uma instancia de ForeignInternalDefense Processo e' um agente de AutonomousAgent AutonomousAgent experimenta Processo Processo tem por fim Entidade Entidade Entidade e' uma instancia de Aprender Entidade experimenta Entidade Entidade e' um agente de AutonomousAgent militaryOfArea Entidade and AutonomousAgent Entidade e' uma instancia de MilitaryForce Entidade e' situado em AutonomousAgent
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.	MilitaryPersons.kif 321-326	CivilianInternee e' um atributo de Entidade vale durante Posicao Temporal Entidade e' uma instancia de MilitaryForce vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1357-1373	AutonomousAgent e' uma instancia de HostNation Processo Organizacao, Area Geopolitica and MilitaryOrganization Area Geopolitica e' uma instancia de Nacao MilitaryOrganization e' uma instancia de MilitaryForce militaryOfArea MilitaryOrganization and Area Geopolitica Organizacao e' uma parte da organizacao MilitaryOrganization AutonomousAgent e' igual a Area Geopolitica enemy AutonomousAgent and Area Geopolitica Processo e' uma instancia de Obter Processo e' um agente de AutonomousAgent Organizacao e' um patient de Processo Organizacao e' uma instancia de MilitaryForce Organizacao e' situado em AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Military.kif 197-202	Objeto e' uma instancia de MilitaryVehicle AutonomousAgent e' uma instancia de MilitaryForce AutonomousAgent possui Objeto Objeto e' capaz de fazer Processo Militar no role patient
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1514-1519	Processo e' uma instancia de Processo Militar AutonomousAgent Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de MilitaryForce
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1663-1673	Processo e' uma instancia de OperationOrder AutonomousAgent Posicao and Organizacao Processo e' um agente de AutonomousAgent Processo tem como origem AutonomousAgent Processo termina em Posicao AutonomousAgent e' uma instancia de MilitaryCommander Posicao e' uma instancia de MilitaryCommander subordinatePosition Organizacao, Posicao and AutonomousAgent Organizacao e' uma instancia de MilitaryForce

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