MilitaryOrganization - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MilitaryOrganization

MilitaryOrganization

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3731-3732
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16690-16692
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16689-16689	MilitaryOrganization e' uma sub-classe de GovernmentOrganization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16688-16688	MilitaryOrganization e' uma sub-classe de MilitaryForce

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 904-904	JointChiefsOfStaff e' uma instancia de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 884-884	JointStaff e' uma instancia de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 951-951	USMilitary e' uma instancia de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	Military.kif 798-798	AirForce-BranchOfService e' uma sub-classe de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 879-879	ExternalAgency e' uma sub-classe de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6057-6057	FleetMarineForce e' uma sub-classe de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1723-1723	JointForces e' uma sub-classe de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	Military.kif 808-808	MarinesBranchOfService e' uma sub-classe de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8368-8368	MilitaryReserveForce e' uma sub-classe de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8336-8336	MilitaryService e' uma sub-classe de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8353-8353	MilitaryUnit e' uma sub-classe de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	Military.kif 813-813	NavalAirForceBranchOfService e' uma sub-classe de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	Military.kif 816-816	NavyBranchOfService e' uma sub-classe de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22514-22514	PeaceKeepingMission e' uma sub-classe de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 299-299	SpecialOperationsForces e' uma sub-classe de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37679-37679
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37678-37678
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37677-37677

appearance as argument number 3

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

Military.kif 825-825

O argumento numero 1 de militaryOfArea e' uma instancia de MilitaryOrganization

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 461-466	PeaceState e' um atributo de Organizacao Organizacao e' uma instancia de MilitaryOrganization leaderPosition Organizacao and Posicao subordinatePosition Organizacao, Posicao and SecretaryOfDefense
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 473-478	WarState e' um atributo de Organizacao Organizacao e' uma instancia de MilitaryOrganization leaderPosition Organizacao and Posicao subordinatePosition Organizacao, Posicao and President
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2309-2328	Agreement e' uma instancia de CivilAffairsAgreement partyToAgreement Entidade_MIL_THIS and Agreement Entidade_MIL_THIS e' uma instancia de MilitaryOrganization militaryOfArea Entidade_MIL_THIS and Entidade_THIS Entidade_THIS e' uma instancia de Nacao Entidade_MIL_THIS e' situado em Entidade_FRIENDLY Entidade_FRIENDLY e' uma instancia de Nacao Entidade_THIS e' igual a Entidade_FRIENDLY enemy Entidade_THIS and Entidade_FRIENDLY Entidade_FRIENDLY Entidade_FRIENDLY e' situado em Entidade_FRIENDLY partyToAgreement Entidade_FRIENDLY and Agreement Entidade_FRIENDLY e' uma instancia de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 133-140	Processo e' uma instancia de Evacuation Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de MilitaryOrganization AutonomousAgent experimenta Processo Evacuee e' um atributo de AutonomousAgent vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22469-22474	Entidade e' uma instancia de MilitaryOrganization Entidade e' membro de Entidade vale durante Posicao Temporal Entidade e' uma instancia de Humano MilitaryPerson e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Military.kif 788-793	MilitaryOrganization e' uma instancia de MilitaryOrganization Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica militaryOfArea MilitaryOrganization and Area Geopolitica

consequent

No TPTP formula. May not be expressible in strict first order.	Military.kif 286-297	Atributo e' um atributo de AutonomousAgent Atributo e' uma instancia de CommissionedOfficerRank Processo Objeto Processo e' uma instancia de Administrar Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Objeto e' uma instancia de MilitaryOrganization Soldier e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 120-131	Evacuee e' um atributo de AutonomousAgent vale durante Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Processo AutonomousAgent Processo e' uma instancia de Evacuation Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de MilitaryOrganization AutonomousAgent experimenta Processo tempo de existencia de Processo acontence antes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2309-2328	Agreement e' uma instancia de CivilAffairsAgreement partyToAgreement Entidade_MIL_THIS and Agreement Entidade_MIL_THIS e' uma instancia de MilitaryOrganization militaryOfArea Entidade_MIL_THIS and Entidade_THIS Entidade_THIS e' uma instancia de Nacao Entidade_MIL_THIS e' situado em Entidade_FRIENDLY Entidade_FRIENDLY e' uma instancia de Nacao Entidade_THIS e' igual a Entidade_FRIENDLY enemy Entidade_THIS and Entidade_FRIENDLY Entidade_FRIENDLY Entidade_FRIENDLY e' situado em Entidade_FRIENDLY partyToAgreement Entidade_FRIENDLY and Agreement Entidade_FRIENDLY e' uma instancia de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19003-19012	MilitaryOfficer e' um atributo de AutonomousAgent Processo Objeto Processo e' uma instancia de Administrar Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Objeto e' uma instancia de MilitaryOrganization Soldier e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22462-22467	MilitaryPerson e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de MilitaryOrganization Entidade e' membro de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17832-17838	Fisico e' uma instancia de MilitaryArtifact Fisico tem por fim Entidade Entidade e' uma instancia de MilitaryOrganization Entidade usa Fisico
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2398-2408	Processo e' uma instancia de CivilAffairsActivity AutonomousAgent AutonomousAgent Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent AutonomousAgent e' igual a AutonomousAgent AutonomousAgent e' uma instancia de MilitaryOrganization AutonomousAgent e' uma instancia de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2256-2266	Processo e' uma instancia de CivilAffairsOperation AutonomousAgent AutonomousAgent Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent AutonomousAgent e' igual a AutonomousAgent AutonomousAgent e' uma instancia de MilitaryOrganization AutonomousAgent e' uma instancia de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2288-2298	Processo e' uma instancia de CivilMilitaryOperation AutonomousAgent AutonomousAgent Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent AutonomousAgent e' igual a AutonomousAgent AutonomousAgent e' uma instancia de MilitaryOrganization AutonomousAgent e' uma instancia de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8405-8415	Objeto e' uma instancia de MilitarySurplus Fisico Transferencia Transferencia e' uma instancia de Comprar Fisico e' um patient de Transferencia objectTransferred Transferencia and Objeto Fisico e' uma instancia de MilitaryOrganization Fisico e' membro de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	Military.kif 137-143	Fisico e' uma instancia de MilitaryVehicle Fisico tem por fim Entidade Entidade e' uma instancia de MilitaryOrganization Entidade usa Fisico

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