subOrganization - Sigma Knowledge base Browser

appearance as argument number 1

(documentation subOrganization ChineseLanguage "(subOrganization ?ORG1 ?ORG2)的意思是 ?ORG1 是一家 Organization，而它是 Organization ?ORG2 的一部分。注：subOrganization 属于一种 ReflexiveRelation，所以每一个 Organization 都是他自己的 subOrganization。")	chinese_format.kif 3751-3753
(documentation subOrganization EnglishLanguage "(subOrganization ?ORG1 ?ORG2) means that ?ORG1 is an Organization which is a part of the Organization ?ORG2. Note that subOrganization is a ReflexiveRelation, so every Organization is a subOrganization of itself.")	Merge.kif 16942-16945
(domain subOrganization 1 Organization)	Merge.kif 16940-16940	The number 1 argument of subOrganization is an instance of organization
(domain subOrganization 2 Organization)	Merge.kif 16941-16941	The number 2 argument of subOrganization is an instance of organization
(instance subOrganization PartialOrderingRelation)	Merge.kif 16939-16939	subOrganization is an instance of partial ordering relation
(subrelation subOrganization subCollection)	Merge.kif 16938-16938	subOrganization is a subrelation of subCollection

appearance as argument number 2

(disjointRelation ancestorOrganization subOrganization)	Mid-level-ontology.kif 25807-25807	ancestorOrganization and subOrganization are disjoint
(format ChineseLanguage subOrganization "%1 %n 是 %2 Organization 的一部分")	chinese_format.kif 810-810	ancestorOrganization and subOrganization are disjoint
(format ChineseLanguage subOrganization "%1 %n 是 %2 机构的一 part")	chinese_format.kif 549-549	ancestorOrganization and subOrganization are disjoint
(format EnglishLanguage subOrganization "%1 is %n a part of the organization %2")	english_format.kif 554-554	ancestorOrganization and subOrganization are disjoint
(format EnglishLanguage subOrganization "%1 is %n a part of the organization %2")	english_format.kif 823-823	ancestorOrganization and subOrganization are disjoint
(format FrenchLanguage subOrganization "%1 est %n une partie de l'organization %2")	french_format.kif 322-322	ancestorOrganization and subOrganization are disjoint
(format FrenchLanguage subOrganization "%1 est %n une partie de l'organization %2")	french_format.kif 486-486	ancestorOrganization and subOrganization are disjoint
(format JapaneseLanguage subOrganization "%1 は組織 %2 の part では %n")	japanese_format.kif 2090-2090	ancestorOrganization and subOrganization are disjoint
(format JapaneseLanguage subOrganization "%1 は組織 %2 の一部では %n")	english_format.kif 824-824	ancestorOrganization and subOrganization are disjoint
(format PortugueseLanguage subOrganization "%1 e' %n uma &parte da organizacao %2")	portuguese_format.kif 274-274	ancestorOrganization and subOrganization are disjoint
(format PortugueseLanguage subOrganization "%1 e' %n uma parte da organizacao %2")	portuguese_format.kif 438-438	ancestorOrganization and subOrganization are disjoint
(format ro subOrganization "%1 %n{nu} este o part%t{parte} a organizaþiei %2")	relations-ro.kif 343-343	ancestorOrganization and subOrganization are disjoint
(format ro subOrganization "%1 %n{nu} este o parte a organizaþiei %2")	relations-ro.kif 508-508	ancestorOrganization and subOrganization are disjoint
(subrelation chamberOfLegislature subOrganization)	Government.kif 2022-2022	chamberOfLegislature is a subrelation of subOrganization
(termFormat ChineseLanguage subOrganization "子机构")	chinese_format.kif 550-550	chamberOfLegislature is a subrelation of subOrganization
(termFormat ChineseLanguage subOrganization "子组织")	domainEnglishFormat.kif 55767-55767	chamberOfLegislature is a subrelation of subOrganization
(termFormat ChineseTraditionalLanguage subOrganization "子組織")	domainEnglishFormat.kif 55766-55766	chamberOfLegislature is a subrelation of subOrganization
(termFormat EnglishLanguage subOrganization "sub organization")	domainEnglishFormat.kif 55765-55765	chamberOfLegislature is a subrelation of subOrganization

antecedent

(=> (and (attribute ?ORG UnicameralLegislature) (legislativeBranch ?ORG ?AREA) (instance ?CHAMBER1 LegislativeChamber) (subOrganization ?CHAMBER1 (GovernmentFn ?AREA)) (instance ?CHAMBER2 LegislativeChamber) (subOrganization ?CHAMBER2 (GovernmentFn ?AREA))) (equal ?CHAMBER1 ?CHAMBER2))	Government.kif 1939-1947	If UnicameralLegislature is an attribute of an organization and legislativeBranch the organization and a geopolitical area and another organization is an instance of LegislativeChamber and the other organization is a part of the organization the government of the geopolitical area and a third organization is an instance of LegislativeChamber and the third organization is a part of the organization the government of the geopolitical area, then equal the other organization and the third organization
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Nation) (instance ?ORG DiplomaticOrganization) (subOrganization ?ORG (GovernmentFn ?AGENT1)) (occupiesPosition ?PERSON ?POSITION ?ORG) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?ORG ?AGENT2))	Government.kif 4472-4480	If diplomaticRepresentativeInRole a geopolitical area, a human, a position and an agent and the geopolitical area is an instance of nation and an organization is an instance of DiplomaticOrganization and the organization is a part of the organization the government of the geopolitical area and the human holds the position of the position in the organization and the agent is an instance of geopolitical area, then agentOperatesInArea the organization and the agent
(=> (and (equal ?DEP (DepartmentOfFn ?COMP ?PHYS)) (subOrganization ?DEP2 ?COMP) (not (equal ?DEP ?DEP2)) (instance ?I ?PHYS) (inScopeOfInterest ?DEP ?I) (equal ?P1 (ProbabilityFn (agent ?P ?DEP))) (equal ?P2 (ProbabilityFn (agent ?P ?DEP2)))) (greaterThan ?P1 ?P2))	Mid-level-ontology.kif 19900-19915	If equal an organization and DepartmentOfFn another organization and a kind of physical and the organization2 is a part of the organization the other organization and equal the organization and the organization2 and an entity is an instance of a kind of physical and the organization is interested in the entity and equal a real number and the probability of the organization is an agent of another entity and equal the other entity2 and the probability of the organization2 is an agent of the other entity, then the real number is greater than the other entity2
(=> (and (equal ?DEP (DepartmentOfPreventingFn ?COMP ?PHYS)) (subclass ?PHYS Process) (subOrganization ?DEP ?COMP)) (inhibits ?DEP ?PHYS))	Mid-level-ontology.kif 19958-19963	If equal an organization and DepartmentOfPreventingFn another organization and a kind of physical and a kind of physical is a subclass of process and the organization is a part of the organization the other organization, then the organization inhibits the kind of physical
(=> (and (executiveBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea) (subOrganization ?ORG ?BRANCH)) (subOrganization ?ORG (GovernmentFn ?AREA)))	Government.kif 1275-1280	If executiveBranch an organization and a geopolitical area and the geopolitical area is an instance of geopolitical area and another organization is a part of the organization the organization, then the other organization is a part of the organization the government of the geopolitical area
(=> (and (instance ?CAB GovernmentCabinet) (subOrganization ?CAB (GovernmentFn ?AREA)) (instance ?AREA GeopoliticalArea)) (hasPurpose ?CAB (exists (?ADVICE ?LEADER) (and (instance ?ADVICE Stating) (agent ?ADVICE ?CAB) (patient ?ADVICE ?LEADER) (leader ?LEADER (GovernmentFn ?AREA))))))	Government.kif 1475-1486	If an organization is an instance of GovernmentCabinet and the organization is a part of the organization the government of a geopolitical area and the geopolitical area is an instance of geopolitical area, then the organization has the purpose there exist an entity and another entity such that the entity is an instance of stating and the organization is an agent of the entity and the other entity is a patient of the entity and leader the other entity and the government of the geopolitical area
(=> (and (instance ?COURT SupremeCourt) (subOrganization ?COURT (GovernmentFn ?COUNTRY)) (instance ?COUNTRY Nation)) (instance ?COURT (SupremeCourtFn ?COUNTRY)))	Government.kif 2152-2157	If an organization is an instance of SupremeCourt and the organization is a part of the organization the government of a geopolitical area and the geopolitical area is an instance of nation, then the organization is an instance of SupremeCourtFn the geopolitical area
(=> (and (instance ?GOV Government) (subOrganization ?ORG ?GOV)) (instance ?ORG GovernmentOrganization))	Merge.kif 16888-16892	If an organization is an instance of government and another organization is a part of the organization the organization, then the other organization is an instance of GovernmentOrganization
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 AirForce)) (leaderPosition ?FORCE1 JointForcesAirCommander))	MilitaryPersons.kif 382-387	If an organization is an instance of JointForces and another organization is a part of the organization the organization and the other organization is an instance of AirForce, then leaderPosition the other organization and JointForcesAirCommander
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 Army)) (leaderPosition ?FORCE1 JointForcesLandCommander))	MilitaryPersons.kif 404-409	If an organization is an instance of JointForces and another organization is a part of the organization the organization and the other organization is an instance of Army, then leaderPosition the other organization and JointForcesLandCommander
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 CoastGuard)) (leaderPosition ?FORCE1 JointForcesMaritimeCommander))	MilitaryPersons.kif 436-441	If an organization is an instance of JointForces and another organization is a part of the organization the organization and the other organization is an instance of CoastGuard, then leaderPosition the other organization and JointForcesMaritimeCommander
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 NavyBranchOfService)) (leaderPosition ?FORCE1 JointForcesMaritimeCommander))	MilitaryPersons.kif 428-433	If an organization is an instance of JointForces and another organization is a part of the organization the organization and the other organization is an instance of NavyBranchOfService, then leaderPosition the other organization and JointForcesMaritimeCommander
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 SpecialOperationsForces)) (leaderPosition ?FORCE1 JointForcesSpecialOperationsCommander))	MilitaryPersons.kif 457-462	If an organization is an instance of JointForces and another organization is a part of the organization the organization and the other organization is an instance of SpecialOperationsForces, then leaderPosition the other organization and JointForcesSpecialOperationsCommander
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (leaderPosition ?FORCE1 ?COMMANDER1) (leaderPosition ?JOINT ?JOINTCOMMANDER)) (subordinatePosition ?JOINT ?COMMANDER1 ?JOINTCOMMANDER))	MilitaryProcesses.kif 1751-1757	If an organization is an instance of JointForces and another organization is a part of the organization the organization and leaderPosition the other organization and a position and leaderPosition the organization and the organizationCOMMANDER, then subordinatePosition the organization, the position and the organizationCOMMANDER
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (subOrganization ?FORCE2 ?JOINT) (not (equal ?FORCE1 ?FORCE2)) (leaderPosition ?JOINT ?JOINTCOMMANDER)) (and (leaderPosition ?FORCE1 ?JOINTCOMMANDER) (leaderPosition ?FORCE2 ?JOINTCOMMANDER)))	MilitaryProcesses.kif 1736-1746	If an organization is an instance of JointForces and another organization is a part of the organization the organization and a third organization is a part of the organization the organization and equal the other organization and the third organization and leaderPosition the organization and the organizationCOMMANDER, then leaderPosition the other organization and the organizationCOMMANDER and leaderPosition the third organization and the organizationCOMMANDER
(=> (and (instance ?ORG JudicialOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization))	Government.kif 2047-2052	If an organization is an instance of JudicialOrganization and the organization is a part of the organization another organization and the other organization is an instance of GovernmentOrganization, then the organization is an instance of GovernmentOrganization
(=> (and (instance ?ORG LegislativeOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization))	Government.kif 1892-1897	If an organization is an instance of LegislativeOrganization and the organization is a part of the organization another organization and the other organization is an instance of GovernmentOrganization, then the organization is an instance of GovernmentOrganization
(=> (and (instance ?UNIT SecurityUnit) (subOrganization ?UNIT ?ORG)) (holdsObligation (exists (?MAINTAIN) (and (instance ?MAINTAIN Maintaining) (agent ?MAINTAIN ?UNIT) (patient ?MAINTAIN ?ORG))) ?UNIT))	Mid-level-ontology.kif 9727-9737	If an organization is an instance of SecurityUnit and the organization is a part of the organization another organization, then the organization is obliged to perform tasks of type there exists an entity such that the entity is an instance of maintaining and the organization is an agent of the entity and the other organization is a patient of the entity
(=> (and (judicialBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea) (subOrganization ?ORG ?BRANCH)) (subOrganization ?ORG (GovernmentFn ?AREA)))	Government.kif 2092-2097	If judicialBranch an organization and a geopolitical area and the geopolitical area is an instance of geopolitical area and another organization is a part of the organization the organization, then the other organization is a part of the organization the government of the geopolitical area
(=> (and (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization))	Merge.kif 16894-16898	If an organization is a part of the organization another organization and the other organization is an instance of GovernmentOrganization, then the organization is an instance of GovernmentOrganization

consequent

(<=> (instance ?ORG GovernmentOrganization) (or (instance ?ORG Government) (exists (?GOV) (and (instance ?GOV Government) (subOrganization ?ORG ?GOV)))))	Government.kif 108-115	An organization is an instance of GovernmentOrganization if and only if the organization is an instance of government or there exists another organization such that the other organization is an instance of government and the organization is a part of the organization the other organization
(=> (and (attribute ?X BlueforceControlled) (instance ?X Object)) (exists (?A) (and (instance ?A GovernmentOrganization) (possesses ?A ?X) (or (subOrganization ?A (GovernmentFn UnitedStates)) (allied ?A (GovernmentFn UnitedStates))))))	MilitaryProcesses.kif 2808-2820	If BlueforceControlled is an attribute of an object and the object is an instance of object, then there exists an organization such that the organization is an instance of GovernmentOrganization and the organization possesses the object and the organization is a part of the organization the government of UnitedStates or allied the organization and the government of UnitedStates
(=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (instance ?AGENT1 Nation) (instance ?AGENT2 GeopoliticalArea)) (exists (?ORG) (and (instance ?ORG ?TYPE) (located ?ORG ?AGENT2) (subOrganization ?ORG (GovernmentFn ?AGENT1)))))	Government.kif 4609-4618	If diplomaticOrganizationType a geopolitical area, a kind of organization and an agent and the geopolitical area is an instance of nation and the agent is an instance of geopolitical area, then there exists another organization such that the other organization is an instance of a kind of organization and the other organization is located at the agent and the other organization is a part of the organization the government of the geopolitical area
(=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (instance ?AGENT1 Organization) (instance ?AGENT2 GeopoliticalArea)) (exists (?ORG) (and (instance ?ORG ?TYPE) (located ?ORG ?AGENT2) (subOrganization ?ORG ?AGENT1))))	Government.kif 4619-4628	If diplomaticOrganizationType an organization, another kind of organization and an agent and the organization is an instance of organization and the agent is an instance of geopolitical area, then there exists a third organization such that the third organization is an instance of another kind of organization and the third organization is located at the agent and the third organization is a part of the organization the organization
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Nation)) (exists (?ORG) (and (instance ?ORG DiplomaticOrganization) (subOrganization ?ORG (GovernmentFn ?AGENT1)) (occupiesPosition ?PERSON ?POSITION ?ORG))))	Government.kif 4431-4439	If diplomaticRepresentativeInRole a geopolitical area, a human, a position and an agent and the geopolitical area is an instance of nation, then there exists an organization such that the organization is an instance of DiplomaticOrganization and the organization is a part of the organization the government of the geopolitical area and the human holds the position of the position in the organization
(=> (and (element ?ROOM (PropertyFn ?HOTEL)) (attribute ?ROOM AnnexRoom) (instance ?ROOM HotelRoom)) (exists (?BLDG1 ?BLDG2 ?FRNT) (and (subOrganization ?FRNT ?HOTEL) (instance ?FRNT HotelFrontDesk) (located ?FRNT ?BLDG1) (element ?BLDG1 (PropertyFn ?HOTEL)) (element ?BLDG2 (PropertyFn ?HOTEL)) (part ?ROOM ?BLDG2) (not (equal ?BLDG1 ?BLDG2)))))	Hotel.kif 1135-1148	If an object is an element of belongings of an organization and AnnexRoom is an attribute of the object and the object is an instance of HotelRoom, then there exist another object, a third object and another organization such that the other organization is a part of the organization the organization and the other organization is an instance of HotelFrontDesk and the other organization is located at the other object and the other object is an element of belongings of the organization and the third object is an element of belongings of the organization and the object is a part of the third object and equal the other object and the third object
(=> (and (executiveBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea) (subOrganization ?ORG ?BRANCH)) (subOrganization ?ORG (GovernmentFn ?AREA)))	Government.kif 1275-1280	If executiveBranch an organization and a geopolitical area and the geopolitical area is an instance of geopolitical area and another organization is a part of the organization the organization, then the other organization is a part of the organization the government of the geopolitical area
(=> (and (executiveBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea)) (subOrganization ?BRANCH (GovernmentFn ?AREA)))	Government.kif 1269-1273	If executiveBranch an organization and a geopolitical area and the geopolitical area is an instance of geopolitical area, then the organization is a part of the organization the government of the geopolitical area
(=> (and (executiveBranch ?BRANCH ?ORG) (instance ?ORG Organization)) (subOrganization ?BRANCH ?ORG))	Government.kif 1263-1267	If executiveBranch an organization and another organization and the other organization is an instance of organization, then the organization is a part of the organization the other organization
(=> (and (governmentType ?PLACE ?TYPE) (instance ?PLACE GeopoliticalArea) (subAttribute ?TYPE ParliamentaryGovernment)) (exists (?ORG) (and (instance ?ORG Parliament) (subOrganization ?ORG (GovernmentFn ?PLACE)))))	Government.kif 256-264	If governmentType a geopolitical area and a FormOfGovernment and the geopolitical area is an instance of geopolitical area and the FormOfGovernment is a subattribute of ParliamentaryGovernment, then there exists an organization such that the organization is an instance of Parliament and the organization is a part of the organization the government of the geopolitical area
(=> (and (instance ?EV Evacuation) (agent ?EV ?A) (experiencer ?EV ?P)) (exists (?C ?CA) (and (instance ?C Classifying) (subProcess ?C ?EV) (experiencer ?C ?P) (or (subOrganization ?CA ?A) (member ?CA ?A) (equal ?CA ?A)) (agent ?C ?CA))))	MilitaryProcesses.kif 2643-2657	If a process is an instance of Evacuation and an organization is an agent of the process and an agent experiences the process, then there exist another process and the other processA such that the other process is an instance of classifying and the other process is a subprocess of the process and the agent experiences the other process and the other processA is a part of the organization the organization or the other processA is a member of the organization or equal the other processA and the organization and the other processA is an agent of the other process
(=> (and (instance ?EV Evacuation) (agent ?EV ?A) (origin ?EV ?O)) (exists (?T ?TA) (and (instance ?T Translocation) (subProcess ?T ?EV) (origin ?T ?O) (or (experiencer ?T ?TA) (agent ?T ?TA)) (or (subOrganization ?TA ?A) (member ?TA ?A) (equal ?TA ?A)))))	MilitaryProcesses.kif 2661-2677	If a process is an instance of Evacuation and an organization is an agent of the process and the process originates at an object, then there exist another process and the other processA such that the other process is an instance of Translocation and the other process is a subprocess of the process and the other process originates at the object and the other processA experiences the other process or the other processA is an agent of the other process and the other processA is a part of the organization the organization or the other processA is a member of the organization or equal the other processA and the organization
(=> (and (instance ?EV Evacuation) (experiencer ?EV ?P) (agent ?EV ?A)) (exists (?M ?MA) (and (instance ?M TherapeuticProcess) (subProcess ?M ?EV) (or (subOrganization ?MA ?A) (member ?MA ?A) (equal ?MA ?A)) (agent ?M ?MA) (experiencer ?M ?P))))	MilitaryProcesses.kif 2625-2639	If a process is an instance of Evacuation and an agent experiences the process and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of therapeutic process and the other process is a subprocess of the process and the other processA is a part of the organization the organization or the other processA is a member of the organization or equal the other processA and the organization and the other processA is an agent of the other process and the agent experiences the other process
(=> (and (instance ?EV Evacuation) (origin ?EV ?O) (agent ?EV ?A)) (exists (?M ?MA) (and (instance ?M Maintaining) (eventLocated ?M ?O) (subProcess ?M ?EV) (or (subOrganization ?MA ?A) (member ?MA ?A) (equal ?MA ?A)) (agent ?M ?MA))))	MilitaryProcesses.kif 2607-2621	If a process is an instance of Evacuation and the process originates at an object and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of maintaining and event located the other process and the object and the other process is a subprocess of the process and the other processA is a part of the organization the organization or the other processA is a member of the organization or equal the other processA and the organization and the other processA is an agent of the other process
(=> (and (instance ?EV Evacuation) (origin ?EV ?O) (agent ?EV ?A)) (exists (?T ?TA) (and (instance ?T Transportation) (destination ?T ?O) (or (subOrganization ?TA ?A) (member ?TA ?A) (equal ?TA ?A)) (or (agent ?T ?TA) (patient ?T ?TA)))))	MilitaryProcesses.kif 2588-2603	If a process is an instance of Evacuation and the process originates at an object and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of transportation and the other process ends up at the object and the other processA is a part of the organization the organization or the other processA is a member of the organization or equal the other processA and the organization and the other processA is an agent of the other process or the other processA is a patient of the other process
(=> (and (instance ?M OrganizationalMerging) (patient ?M ?ORG1) (patient ?M ?ORG2) (not (equal ?ORG1 ?ORG2))) (and (holdsDuring (BeginFn (WhenFn ?M)) (not (exists (?S1) (and (subOrganization ?ORG1 ?S1) (subOrganization ?ORG2 ?S1))))) (holdsDuring (EndFn (WhenFn ?M)) (exists (?S2) (and (subOrganization ?ORG1 ?S2) (subOrganization ?ORG2 ?S2))))))	Mid-level-ontology.kif 17678-17697	If a process is an instance of OrganizationalMerging and an entity is a patient of the process and another entity is a patient of the process and equal the entity and the other entity, then there doesn't exist a third entity such that the entity is a part of the organization the third entity and the other entity is a part of the organization the third entity holds during the beginning of the time of existence of the process and there exists a fourth entity such that the entity is a part of the organization the fourth entity and the other entity is a part of the organization the fourth entity holds during the end of the time of existence of the process
(=> (and (judicialBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea) (subOrganization ?ORG ?BRANCH)) (subOrganization ?ORG (GovernmentFn ?AREA)))	Government.kif 2092-2097	If judicialBranch an organization and a geopolitical area and the geopolitical area is an instance of geopolitical area and another organization is a part of the organization the organization, then the other organization is a part of the organization the government of the geopolitical area
(=> (and (judicialBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea)) (subOrganization ?BRANCH (GovernmentFn ?AREA)))	Government.kif 2086-2090	If judicialBranch an organization and a geopolitical area and the geopolitical area is an instance of geopolitical area, then the organization is a part of the organization the government of the geopolitical area
(=> (and (judicialBranch ?BRANCH ?ORG) (instance ?ORG Organization)) (subOrganization ?BRANCH ?ORG))	Government.kif 2080-2084	If judicialBranch an organization and another organization and the other organization is an instance of organization, then the organization is a part of the organization the other organization
(=> (and (legislativeBranch ?ORG ?AGENT) (instance ?AGENT Organization)) (subOrganization ?ORG ?AGENT))	Government.kif 1985-1989	If legislativeBranch an organization and another organization and the other organization is an instance of organization, then the organization is a part of the organization the other organization
(=> (and (legislativeBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (subOrganization ?ORG (GovernmentFn ?AREA)))	Government.kif 1991-1995	If legislativeBranch an organization and a geopolitical area and the geopolitical area is an instance of geopolitical area, then the organization is a part of the organization the government of the geopolitical area
(=> (and (subEchelon ?MUClass1 ?MUClass2) (instance ?MU1 ?MUClass1)) (exists (?MU2) (and (instance ?MU2 ?MUClass2) (subOrganization ?MU1 ?MU2))))	Military.kif 771-778	If subEchelon a kind of MilitaryUnit and another kind of MilitaryUnit and an organization is an instance of a kind of MilitaryUnit, then there exists another organization such that the other organization is an instance of another kind of MilitaryUnit and the organization is a part of the organization the other organization
(=> (and (subclass ?PUB JointPublication) (instance ?ONE ?PUB) (containsInformation ?ONE ?CONTENT) (authors ?JORG ?PUB)) (exists (?ORG) (and (subOrganization ?ORG USMilitary) (confersObligation ?CONTENT ?JORG ?ORG))))	MilitaryProcesses.kif 940-949	If a kind of content bearing object is a subclass of JointPublication and a ContentBearingPhysical is an instance of a kind of content bearing object and the ContentBearingPhysical contains information a formula and an agent is the author of the kind of content bearing object, then there exists an organization such that the organization is a part of the organization USMilitary and the agent obligates the organization to perform task of the type the formula
(=> (businessUnit ?BU ?ORG) (subOrganization ?BU ?ORG))	UXExperimentalTerms.kif 2559-2561	If businessUnit an organization and a Business, then the organization is a part of the organization the Business
(=> (hostileForces ?U1 ?U2) (exists (?WAR ?A1 ?A2) (and (instance ?WAR War) (contestParticipant ?WAR ?A1) (contestParticipant ?WAR ?A2) (subOrganization ?U1 (GovernmentFn ?A1)) (subOrganization ?U2 (GovernmentFn ?A2)))))	Mid-level-ontology.kif 9628-9636	If hostileForces a MilitaryUnit and another MilitaryUnit, then there exist a contest, a geopolitical area and another geopolitical area such that the contest is an instance of war and contestParticipant the contest and the geopolitical area and contestParticipant the contest and the other geopolitical area and the MilitaryUnit is a part of the organization the government of the geopolitical area and the other MilitaryUnit is a part of the organization the government of the other geopolitical area

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

(subOrganization Aetna CVS)	Medicine.kif 5567-5567	Aetna is a part of the organization CVS
(subOrganization CommissionForSocialDevelopment EconomicAndSocialCouncil)	Government.kif 3038-3038	CommissionForSocialDevelopment is a part of the organization EconomicAndSocialCouncil
(subOrganization CommissionOnCrimePreventionAndCriminalJustice EconomicAndSocialCouncil)	Government.kif 3040-3040	CommissionOnCrimePreventionAndCriminalJustice is a part of the organization EconomicAndSocialCouncil
(subOrganization CommissionOnHumanRights EconomicAndSocialCouncil)	Government.kif 3042-3042	CommissionOnHumanRights is a part of the organization EconomicAndSocialCouncil
(subOrganization CommissionOnNarcoticsDrugs EconomicAndSocialCouncil)	Government.kif 3044-3044	CommissionOnNarcoticsDrugs is a part of the organization EconomicAndSocialCouncil
(subOrganization CommissionOnPopulationAndDevelopment EconomicAndSocialCouncil)	Government.kif 3046-3046	CommissionOnPopulationAndDevelopment is a part of the organization EconomicAndSocialCouncil
(subOrganization CommissionOnScienceAndTechnologyForDevelopment EconomicAndSocialCouncil)	Government.kif 3048-3048	CommissionOnScienceAndTechnologyForDevelopment is a part of the organization EconomicAndSocialCouncil
(subOrganization CommissionOnSustainableDevelopment EconomicAndSocialCouncil)	Government.kif 3050-3050	CommissionOnSustainableDevelopment is a part of the organization EconomicAndSocialCouncil
(subOrganization CommissionOnTheStatusOfWomen EconomicAndSocialCouncil)	Government.kif 3052-3052	CommissionOnTheStatusOfWomen is a part of the organization EconomicAndSocialCouncil
(subOrganization DepartmentOfHomelandSecurity (GovernmentFn UnitedStates))	Government.kif 4789-4789	DepartmentOfHomelandSecurity is a part of the organization the government of UnitedStates
(subOrganization EconomicAndSocialCommissionForAsiaAndThePacific EconomicAndSocialCouncil)	Government.kif 3054-3054	EconomicAndSocialCommissionForAsiaAndThePacific is a part of the organization EconomicAndSocialCouncil
(subOrganization EconomicAndSocialCommissionForWesternAsia EconomicAndSocialCouncil)	Government.kif 3056-3056	EconomicAndSocialCommissionForWesternAsia is a part of the organization EconomicAndSocialCouncil
(subOrganization EconomicAndSocialCouncil UnitedNations)	Government.kif 3037-3037	EconomicAndSocialCouncil is a part of the organization UnitedNations
(subOrganization EconomicCommissionForAfrica EconomicAndSocialCouncil)	Government.kif 3058-3058	EconomicCommissionForAfrica is a part of the organization EconomicAndSocialCouncil
(subOrganization EconomicCommissionForEurope EconomicAndSocialCouncil)	Government.kif 3060-3060	EconomicCommissionForEurope is a part of the organization EconomicAndSocialCouncil
(subOrganization EconomicCommissionForLatinAmericaAndTheCaribbean EconomicAndSocialCouncil)	Government.kif 3062-3062	EconomicCommissionForLatinAmericaAndTheCaribbean is a part of the organization EconomicAndSocialCouncil
(subOrganization FitbitCompany Google)	Medicine.kif 4479-4479	FitbitCompany is a part of the organization Google
(subOrganization FoodAndAgricultureOrganization EconomicAndSocialCouncil)	Government.kif 3064-3064	FoodAndAgricultureOrganization is a part of the organization EconomicAndSocialCouncil
(subOrganization GoogleCorporation AlphabetCorporation)	ComputingBrands.kif 17-17	GoogleCorporation is a part of the organization AlphabetCorporation
(subOrganization HoldenCorporation GeneralMotorsCorp)	Cars.kif 4564-4564	HoldenCorporation is a part of the organization GeneralMotorsCorp
(subOrganization InternationalAtomicEnergyAgency EconomicAndSocialCouncil)	Government.kif 3065-3065	InternationalAtomicEnergyAgency is a part of the organization EconomicAndSocialCouncil
(subOrganization InternationalBankForReconstructionAndDevelopment EconomicAndSocialCouncil)	Government.kif 3066-3066	InternationalBankForReconstructionAndDevelopment is a part of the organization EconomicAndSocialCouncil
(subOrganization InternationalBankForReconstructionAndDevelopment UnitedNations)	Government.kif 3377-3377	InternationalBankForReconstructionAndDevelopment is a part of the organization UnitedNations
(subOrganization InternationalBankForReconstructionAndDevelopment WorldBankGroup)	Government.kif 4280-4280	InternationalBankForReconstructionAndDevelopment is a part of the organization WorldBankGroup
(subOrganization InternationalCenterForSecretariatOfInvestmentDisputes EconomicAndSocialCouncil)	Government.kif 3067-3067	InternationalCenterForSecretariatOfInvestmentDisputes is a part of the organization EconomicAndSocialCouncil

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: