TreeView Knowledge Base Browser - MilitaryOrganization

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

MilitaryOrganization

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 16668-16670
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16667-16667	MilitaryOrganization e' uma sub-classe de GovernmentOrganization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16666-16666	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 8369-8369	MilitaryReserveForce e' uma sub-classe de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8337-8337	MilitaryService e' uma sub-classe de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8354-8354	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 22515-22515	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 22470-22475	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 19004-19013	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 22463-22468	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 17833-17839	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 8406-8416	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 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