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 16715-16718
(domain subOrganization 1 Organization)	Merge.kif 16713-16713	The number 1 argument of sub organization is an instance of organization
(domain subOrganization 2 Organization)	Merge.kif 16714-16714	The number 2 argument of sub organization is an instance of organization
(instance subOrganization PartialOrderingRelation)	Merge.kif 16712-16712	sub organization is an instance of partial ordering relation
(subrelation subOrganization subCollection)	Merge.kif 16711-16711	sub organization is a subrelation of sub collection

appearance as argument number 2

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

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 1977-1985	If unicameral legislature is an attribute of an organization and a geopolitical area is a legislative branch of the organization and another organization is an instance of legislative chamber and the other organization is a part of the organization the government of the geopolitical area and a third organization is an instance of legislative chamber and the third organization is a part of the organization the government of the geopolitical area, then the other organization is equal to 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 4511-4519	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of nation and an organization is an instance of diplomatic organization 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 the agent is an agent operates in area of the organization
(=> (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 18292-18307	If an organization is equal to the department of a kind of physical in another organization and the organization2 is a part of the organization the other organization and the organization is not equal to the organization2 and an entity is an instance of a kind of physical and the organization is interested in the entity and a real number is equal to the probability of the organization is an agent of another entity and the other entity2 is equal to 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 18350-18355	If an organization is equal to another organization is preventing 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 1313-1318	If a geopolitical area is an executive branch of an organization 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 1513-1524	If an organization is an instance of government cabinet 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 the government of the geopolitical area is a leader of the other entity
(=> (and (instance ?COURT SupremeCourt) (subOrganization ?COURT (GovernmentFn ?COUNTRY)) (instance ?COUNTRY Nation)) (instance ?COURT (SupremeCourtFn ?COUNTRY)))	Government.kif 2191-2196	If an organization is an instance of supreme court 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 the supreme court of the geopolitical area
(=> (and (instance ?GOV Government) (subOrganization ?ORG ?GOV)) (instance ?ORG GovernmentOrganization))	Merge.kif 16661-16665	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 government organization
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 AirForce)) (leaderPosition ?FORCE1 JointForcesAirCommander))	MilitaryPersons.kif 371-376	If an organization is an instance of joint forces and another organization is a part of the organization the organization and the other organization is an instance of air force, then joint forces air commander is a leader position of the other organization
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 Army)) (leaderPosition ?FORCE1 JointForcesLandCommander))	MilitaryPersons.kif 393-398	If an organization is an instance of joint forces and another organization is a part of the organization the organization and the other organization is an instance of army, then joint forces land commander is a leader position of the other organization
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 CoastGuard)) (leaderPosition ?FORCE1 JointForcesMaritimeCommander))	MilitaryPersons.kif 425-430	If an organization is an instance of joint forces and another organization is a part of the organization the organization and the other organization is an instance of coast guard, then joint forces maritime commander is a leader position of the other organization
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 Navy-BranchOfService)) (leaderPosition ?FORCE1 JointForcesMaritimeCommander))	MilitaryPersons.kif 417-422	If an organization is an instance of joint forces and another organization is a part of the organization the organization and the other organization is an instance of navy- branch of service, then joint forces maritime commander is a leader position of the other organization
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 SpecialOperationsForces)) (leaderPosition ?FORCE1 JointForcesSpecialOperationsCommander))	MilitaryPersons.kif 446-451	If an organization is an instance of joint forces and another organization is a part of the organization the organization and the other organization is an instance of special operations forces, then joint forces special operations commander is a leader position of the other organization
(=> (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 joint forces and another organization is a part of the organization the organization and a position is a leader position of the other organization and the organizationCOMMANDER is a leader position of the organization, then the organization is subordinate position the position for 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 joint forces and another organization is a part of the organization the organization and a third organization is a part of the organization the organization and the other organization is not equal to the third organization and the organizationCOMMANDER is a leader position of the organization, then the organizationCOMMANDER is a leader position of the other organization and the organizationCOMMANDER is a leader position of the third organization
(=> (and (instance ?ORG JudicialOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization))	Government.kif 2085-2090	If an organization is an instance of judicial organization and the organization is a part of the organization another organization and the other organization is an instance of government organization, then the organization is an instance of government organization
(=> (and (instance ?ORG LegislativeOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization))	Government.kif 1930-1935	If an organization is an instance of legislative organization and the organization is a part of the organization another organization and the other organization is an instance of government organization, then the organization is an instance of government organization
(=> (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 8498-8508	If an organization is an instance of security unit 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 2130-2135	If a geopolitical area is a judicial branch of an organization 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 16667-16671	If an organization is a part of the organization another organization and the other organization is an instance of government organization, then the organization is an instance of government organization

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 government organization 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 (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 4648-4657	If a geopolitical area is diplomatic organization type a kind of organization for 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 4658-4667	If an organization is diplomatic organization type another kind of organization for 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 4470-4478	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of nation, then there exists an organization such that the organization is an instance of diplomatic organization 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 1127-1140	If an object is an element of belongings of an organization and annex room is an attribute of the object and the object is an instance of hotel room, 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 front desk 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 the other object is not equal to the third object
(=> (and (executiveBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea) (subOrganization ?ORG ?BRANCH)) (subOrganization ?ORG (GovernmentFn ?AREA)))	Government.kif 1313-1318	If a geopolitical area is an executive branch of an organization 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 1307-1311	If a geopolitical area is an executive branch of an organization 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 1301-1305	If an organization is an executive branch of another organization and the organization is an instance of organization, then the other organization is a part of the organization the 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 a form of government is a government type of a geopolitical area and the geopolitical area is an instance of geopolitical area and the form of government is a subattribute of parliamentary government, 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 2609-2623	If a process is an instance of evacuating 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 the other processA is equal to 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 2627-2643	If a process is an instance of evacuating 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 the other processA is equal to 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 2591-2605	If a process is an instance of evacuating 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 the other processA is equal to 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 2573-2587	If a process is an instance of evacuating 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 the other process is located at 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 the other processA is equal to 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 2554-2569	If a process is an instance of evacuating 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 the other processA is equal to 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 16277-16296	If a process is an instance of organizational merging and an entity is a patient of the process and another entity is a patient of the process and the entity is not equal to 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 2130-2135	If a geopolitical area is a judicial branch of an organization 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 2124-2128	If a geopolitical area is a judicial branch of an organization 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 2118-2122	If an organization is a judicial branch of another organization and the organization is an instance of organization, then the other organization is a part of the organization the organization
(=> (and (legislativeBranch ?ORG ?AGENT) (instance ?AGENT Organization)) (subOrganization ?ORG ?AGENT))	Government.kif 2023-2027	If an organization is a legislative branch of another organization and the organization is an instance of organization, then the other organization is a part of the organization the organization
(=> (and (legislativeBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (subOrganization ?ORG (GovernmentFn ?AREA)))	Government.kif 2029-2033	If a geopolitical area is a legislative branch of an organization 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 693-700	If a kind of military unit is a sub echelon of another kind of military unit and an organization is an instance of another kind of military unit, then there exists another organization such that the other organization is an instance of a kind of military unit 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 joint publication and a content bearing physical is an instance of a kind of content bearing object and the content bearing physical 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 US military and the agent obligates the organization to perform task of the type the formula
(=> (attribute ?U ExpeditionaryForce) (hasPurpose ?U (exists (?B ?C ?FC) (and (subOrganization ?U (GovernmentFn ?C)) (instance ?B Battle) (agent ?B ?U) (instance ?FC Nation) (located ?B ?FC) (not (equal ?C ?FC))))))	MilitaryPersons.kif 712-724	If expeditionary force is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the object is a part of the organization the government of the other entity and the entity is an instance of battle and the object is an agent of the entity and the third entity is an instance of nation and the entity is located at the third entity and the other entity is not equal to the third entity
(=> (businessUnit ?BU ?ORG) (subOrganization ?BU ?ORG))	UXExperimentalTerms.kif 2567-2569	If an organization is a business unit of 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 8399-8407	If a military unit is a hostile forces of another military unit, then there exist a contest, a geopolitical area and another geopolitical area such that the contest is an instance of war and the geopolitical area participates in the contest and the other geopolitical area participates in the contest and the other military unit is a part of the organization the government of the geopolitical area and the military unit 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 5558-5558	Aetna is a part of the organization CVS
(subOrganization CommissionForSocialDevelopment EconomicAndSocialCouncil)	Government.kif 3077-3077	Commission for social development is a part of the organization economic and social council
(subOrganization CommissionOnCrimePreventionAndCriminalJustice EconomicAndSocialCouncil)	Government.kif 3079-3079	Commission on crime prevention and criminal justice is a part of the organization economic and social council
(subOrganization CommissionOnHumanRights EconomicAndSocialCouncil)	Government.kif 3081-3081	Commission on human rights is a part of the organization economic and social council
(subOrganization CommissionOnNarcoticsDrugs EconomicAndSocialCouncil)	Government.kif 3083-3083	Commission on narcotics drugs is a part of the organization economic and social council
(subOrganization CommissionOnPopulationAndDevelopment EconomicAndSocialCouncil)	Government.kif 3085-3085	Commission on population and development is a part of the organization economic and social council
(subOrganization CommissionOnScienceAndTechnologyForDevelopment EconomicAndSocialCouncil)	Government.kif 3087-3087	Commission on science and technology for development is a part of the organization economic and social council
(subOrganization CommissionOnSustainableDevelopment EconomicAndSocialCouncil)	Government.kif 3089-3089	Commission on sustainable development is a part of the organization economic and social council
(subOrganization CommissionOnTheStatusOfWomen EconomicAndSocialCouncil)	Government.kif 3091-3091	Commission on the status of women is a part of the organization economic and social council
(subOrganization DepartmentOfHomelandSecurity (GovernmentFn UnitedStates))	Government.kif 4828-4828	Department of homeland security is a part of the organization the government of united states
(subOrganization EconomicAndSocialCommissionForAsiaAndThePacific EconomicAndSocialCouncil)	Government.kif 3093-3093	Economic and social commission for asia and the pacific is a part of the organization economic and social council
(subOrganization EconomicAndSocialCommissionForWesternAsia EconomicAndSocialCouncil)	Government.kif 3095-3095	Economic and social commission for western asia is a part of the organization economic and social council
(subOrganization EconomicAndSocialCouncil UnitedNations)	Government.kif 3076-3076	Economic and social council is a part of the organization united nations
(subOrganization EconomicCommissionForAfrica EconomicAndSocialCouncil)	Government.kif 3097-3097	Economic commission for africa is a part of the organization economic and social council
(subOrganization EconomicCommissionForEurope EconomicAndSocialCouncil)	Government.kif 3099-3099	Economic commission for europe is a part of the organization economic and social council
(subOrganization EconomicCommissionForLatinAmericaAndTheCaribbean EconomicAndSocialCouncil)	Government.kif 3101-3101	Economic commission for latin america and the caribbean is a part of the organization economic and social council
(subOrganization FitbitCompany Google)	Medicine.kif 4472-4472	Fitbit is a part of the organization Google
(subOrganization FoodAndAgricultureOrganization EconomicAndSocialCouncil)	Government.kif 3103-3103	Food and agriculture organization is a part of the organization economic and social council
(subOrganization GoogleCorporation AlphabetCorporation)	ComputingBrands.kif 17-17	Google corporation is a part of the organization Alphabet
(subOrganization HoldenCorporation GeneralMotorsCorp)	Cars.kif 4503-4503	Holden Corporation is a part of the organization General Motors
(subOrganization InternationalAtomicEnergyAgency EconomicAndSocialCouncil)	Government.kif 3104-3104	International atomic energy agency is a part of the organization economic and social council
(subOrganization InternationalBankForReconstructionAndDevelopment EconomicAndSocialCouncil)	Government.kif 3105-3105	International bank for reconstruction and development is a part of the organization economic and social council
(subOrganization InternationalBankForReconstructionAndDevelopment UnitedNations)	Government.kif 3416-3416	International bank for reconstruction and development is a part of the organization united nations
(subOrganization InternationalBankForReconstructionAndDevelopment WorldBankGroup)	Government.kif 4319-4319	International bank for reconstruction and development is a part of the organization world bank group
(subOrganization InternationalCenterForSecretariatOfInvestmentDisputes EconomicAndSocialCouncil)	Government.kif 3106-3106	International center for secretariat of investment disputes is a part of the organization economic and social council

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: