Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - subOrganization
subOrganization

appearance as argument number 1
-------------------------


(subrelation subOrganization subCollection) Merge.kif 17095-17095 sub organization is a subrelation of sub collection
(instance subOrganization PartialOrderingRelation) Merge.kif 17096-17096 sub organization is an instance of partial ordering relation
(domain subOrganization 1 Organization) Merge.kif 17097-17097 The number 1 argument of sub organization is an instance of organization
(domain subOrganization 2 Organization) Merge.kif 17098-17098 The number 2 argument of sub organization is an instance of organization
(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 17099-17102 The number 2 argument of sub organization is an instance of organization

appearance as argument number 2
-------------------------


(disjointRelation ancestorOrganization subOrganization) Mid-level-ontology.kif 26453-26453 ancestor organization and sub organization are disjoint
(subrelation chamberOfLegislature subOrganization) Government.kif 2031-2031 chamber of legislature is a subrelation of sub organization
(termFormat EnglishLanguage subOrganization "sub organization") domainEnglishFormat.kif 55759-55759 chamber of legislature is a subrelation of sub organization
(termFormat ChineseTraditionalLanguage subOrganization "子組織") domainEnglishFormat.kif 55760-55760 chamber of legislature is a subrelation of sub organization
(termFormat ChineseLanguage subOrganization "子组织") domainEnglishFormat.kif 55761-55761 chamber of legislature is a subrelation of sub organization
(format EnglishLanguage subOrganization "%1 is %n a part of the organization %2") english_format.kif 554-554 chamber of legislature is a subrelation of sub organization
(format EnglishLanguage subOrganization "%1 is %n a part of the organization %2") english_format.kif 823-823 chamber of legislature is a subrelation of sub organization
(format JapaneseLanguage subOrganization "%1 は組織 %2 の一部では %n") english_format.kif 824-824 chamber of legislature is a subrelation of sub organization

antecedent
-------------------------


(=>
    (and
        (instance ?GOV Government)
        (subOrganization ?ORG ?GOV))
    (instance ?ORG GovernmentOrganization))		 Merge.kif 17048-17052 If X is an instance of government and Y is a part of the organization X, then Y is an instance of government organization
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))		 Merge.kif 17054-17058 If X is a part of the organization Y and Y is an instance of government organization, then X is an instance of government organization
(=>
    (and
        (instance ?UNIT SecurityUnit)
        (subOrganization ?UNIT ?ORG))
    (holdsObligation ?UNIT
        (exists (?MAINTAIN)
            (and
                (instance ?MAINTAIN Maintaining)
                (agent ?MAINTAIN ?UNIT)
                (patient ?MAINTAIN ?ORG)))))		 Mid-level-ontology.kif 9886-9895 If X is an instance of security unit and X is a part of the organization Y, then X is obliged to perform tasks of type there exists Z such that Z is an instance of maintaining, X is an agent of Z, and Y is a patient of Z
(=>
    (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 20248-20263 If All of the following hold: (1) equal X and the department of Y in Z (2) W is a part of the organization Z (3) equal X and W (4) V is an instance of Y (5) X is interested in V (6) equal U and the probability of X is an agent of T (7) equal S and the probability of W is an agent of T, then U is greater than S
(=>
    (and
        (equal ?DEP
            (DepartmentOfPreventingFn ?COMP ?PHYS))
        (subclass ?PHYS Process)
        (subOrganization ?DEP ?COMP))
    (inhibits ?DEP ?PHYS))		 Mid-level-ontology.kif 20306-20311 If equal X and Y is preventing Z, Z is a subclass of process, and X is a part of the organization Y, then X inhibits Z
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 1284-1289 If X is an executive branch of Y, X is an instance of geopolitical area, and Z is a part of the organization Y, then Z is a part of the organization the government of X
(=>
    (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 1484-1495 If X is an instance of government cabinet, X is a part of the organization the government of Y, and Y is an instance of geopolitical area, then X has the purpose there exist Z, W such that Z is an instance of stating, X is an agent of Z, W is a patient of Z, and the government of Y is a leader of W
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))		 Government.kif 1901-1906 If X is an instance of legislative organization, X is a part of the organization Y, and Y is an instance of government organization, then X is an instance of government organization
(=>
    (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 1948-1956 If All of the following hold: (1) unicameral legislature is an attribute of X (2) Y is a legislative branch of X (3) Z is an instance of legislative chamber (4) Z is a part of the organization the government of Y (5) W is an instance of legislative chamber (6) W is a part of the organization the government of Y, then equal Z and W
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))		 Government.kif 2056-2061 If X is an instance of judicial organization, X is a part of the organization Y, and Y is an instance of government organization, then X is an instance of government organization
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 2101-2106 If X is a judicial branch of Y, X is an instance of geopolitical area, and Z is a part of the organization Y, then Z is a part of the organization the government of X
(=>
    (and
        (instance ?COURT SupremeCourt)
        (subOrganization ?COURT
            (GovernmentFn ?COUNTRY))
        (instance ?COUNTRY Nation))
    (instance ?COURT
        (SupremeCourtFn ?COUNTRY)))		 Government.kif 2161-2166 If X is an instance of supreme court, X is a part of the organization the government of Y, and Y is an instance of nation, then X is an instance of the supreme court of Y
(=>
    (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 4503-4511 If All of the following hold: (1) X is diplomatic representative in role Y for Z with W (2) X is an instance of nation (3) V is an instance of diplomatic organization (4) V is a part of the organization the government of X (5) Y holds the position of Z in V (6) W is an instance of geopolitical area, then W is an agent operates in area of V
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 AirForce))
    (leaderPosition ?FORCE1 JointForcesAirCommander))		 MilitaryPersons.kif 385-390 If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of air force, then joint forces air commander is a leader position of Y
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 Army))
    (leaderPosition ?FORCE1 JointForcesLandCommander))		 MilitaryPersons.kif 407-412 If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of army, then joint forces land commander is a leader position of Y
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 NavyBranchOfService))
    (leaderPosition ?FORCE1 JointForcesMaritimeCommander))		 MilitaryPersons.kif 431-436 If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of navy branch of service, then joint forces maritime commander is a leader position of Y
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 CoastGuard))
    (leaderPosition ?FORCE1 JointForcesMaritimeCommander))		 MilitaryPersons.kif 439-444 If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of coast guard, then joint forces maritime commander is a leader position of Y
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 SpecialOperationsForces))
    (leaderPosition ?FORCE1 JointForcesSpecialOperationsCommander))		 MilitaryPersons.kif 460-465 If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of special operations forces, then joint forces special operations commander is a leader position of Y
(=>
    (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 1758-1768 If X is an instance of joint forces, Y is a part of the organization X, Z is a part of the organization X, equal Y and Z, and W is a leader position of X, then W is a leader position of Y and W is a leader position of Z
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (leaderPosition ?FORCE1 ?COMMANDER1)
        (leaderPosition ?JOINT ?JOINTCOMMANDER))
    (subordinatePosition ?JOINT ?COMMANDER1 ?JOINTCOMMANDER))		 MilitaryProcesses.kif 1773-1779 If X is an instance of joint forces, Y is a part of the organization X, Z is a leader position of Y, and W is a leader position of X, then X is subordinate position Z for W
(=>
    (and
        (instance ?S Student)
        (instance ?GRADSCHOOL GraduateSchool)
        (subOrganization ?GRADSCHOOL ?SCHOOL)
        (attends ?S ?GRADSCHOOL)
        (expectedDegree ?S
            (MasterDegreeFn ?FIELDOFSTUDY1 ?GRADSCHOOL)))
    (exists (?D)
        (and
            (possesses ?S ?D)
            (instance ?D
                (BachelorDegreeFn ?FIELDOFSTUDY2 ?SCHOOL)))))		 LinkedInDegrees.kif 363-374 If X is an instance of student, Y is an instance of graduate school, Y is a part of the organization Z, Y attends X, and expected degree X, master's degree W, and Y, then there exists V such that X possesses V, V is an instance of bachelor's degree U, and Z

consequent
-------------------------


(=>
    (instance ?ORG GovernmentOrganization)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (subOrganization ?ORG ?GOV))))		 Merge.kif 17041-17046 If X is an instance of government organization, then there exists Y such that Y is an instance of government and X is a part of the organization Y
(=>
    (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 9787-9795 If X is a hostile forces of Y, then there exist Z, W, V such that Z is an instance of war, W participates in Z, V participates in Z, Y is a part of the organization the government of W, and X is a part of the organization the government of V
(=>
    (instance ?BOARD OrganizationalBoard)
    (exists (?ORG ?MANAGE)
        (and
            (subOrganization ?BOARD ?ORG)
            (instance ?MANAGE Managing)
            (agent ?MANAGE ?BOARD)
            (patient ?MANAGE ?ORG))))		 Mid-level-ontology.kif 9872-9879 If X is an instance of organizational board, then there exist Y, Z such that X is a part of the organization Y, Z is an instance of managing, X is an agent of Z, and Y is a patient of Z
(=>
    (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 17938-17957 If X is an instance of organizational merging, Y is a patient of X, Z is a patient of X, and equal Y and Z, then there doesn't exist W such that Y is a part of the organization W and Z is a part of the organization W holds during the beginning of the time of existence of X and there exists V such that Y is a part of the organization V and Z is a part of the organization V holds during the end of the time of existence of X
(=>
    (instance ?S GraduateSchool)
    (exists (?U)
        (and
            (instance ?U University)
            (subOrganization ?S ?U))))		 Mid-level-ontology.kif 18365-18370 If X is an instance of graduate school, then there exists Y such that Y is an instance of university and X is a part of the organization Y
(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))		 Government.kif 108-115 X is an instance of government organization if, only if X is an instance of government or there exists Y such that Y is an instance of government, and X is a part of the organization Y
(=>
    (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 X is a government type of Y, Y is an instance of geopolitical area, and X is a subattribute of parliamentary government, then there exists Z such that Z is an instance of parliament and Z is a part of the organization the government of Y
(=>
    (and
        (executiveBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))		 Government.kif 1272-1276 If X is an executive branch of Y and X is an instance of organization, then Y is a part of the organization X
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))		 Government.kif 1278-1282 If X is an executive branch of Y and X is an instance of geopolitical area, then Y is a part of the organization the government of X
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 1284-1289 If X is an executive branch of Y, X is an instance of geopolitical area, and Z is a part of the organization Y, then Z is a part of the organization the government of X
(=>
    (instance ?AREA GeopoliticalArea)
    (subOrganization
        (CabinetFn ?AREA)
        (ExecutiveBranchFn ?AREA)))		 Government.kif 1505-1507 If X is an instance of geopolitical area, then the cabinet of X is a part of the organization the executive branch of X
(=>
    (instance ?LEGE BicameralLegislature)
    (exists (?CHAMBER1 ?CHAMBER2)
        (and
            (instance ?CHAMBER1 LegislativeChamber)
            (subOrganization ?CHAMBER1 ?LEGE)
            (instance ?CHAMBER2 LegislativeChamber)
            (subOrganization ?CHAMBER2 ?LEGE)
            (not
                (equal ?CHAMBER1 ?CHAMBER2)))))		 Government.kif 1930-1938 If X is an instance of bicameral legislature, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of legislative chamber (3) Y is a part of the organization X (4) Z is an instance of legislative chamber (5) Z is a part of the organization X (6) equal Y (7) Z
(=>
    (and
        (legislativeBranch ?ORG ?AGENT)
        (instance ?AGENT Organization))
    (subOrganization ?ORG ?AGENT))		 Government.kif 1994-1998 If X is a legislative branch of Y and X is an instance of organization, then Y is a part of the organization X
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 2000-2004 If X is a legislative branch of Y and X is an instance of geopolitical area, then Y is a part of the organization the government of X
(=>
    (and
        (judicialBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))		 Government.kif 2089-2093 If X is a judicial branch of Y and X is an instance of organization, then Y is a part of the organization X
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))		 Government.kif 2095-2099 If X is a judicial branch of Y and X is an instance of geopolitical area, then Y is a part of the organization the government of X
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 2101-2106 If X is a judicial branch of Y, X is an instance of geopolitical area, and Z is a part of the organization Y, then Z is a part of the organization the government of X
(=>
    (instance ?COURT
        (SupremeCourtFn ?COUNTRY))
    (subOrganization ?COURT
        (JudiciaryFn ?COUNTRY)))		 Government.kif 2157-2159 If X is an instance of the supreme court of Y, then X is a part of the organization the judiciary of Y
(=>
    (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 4462-4470 If X is diplomatic representative in role Y for Z with W and X is an instance of nation, then there exists V such that V is an instance of diplomatic organization, V is a part of the organization the government of X, and Y holds the position of Z in V
(=>
    (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 4640-4649 If X is diplomatic organization type Y for Z, X is an instance of nation, and Z is an instance of geopolitical area, then there exists W such that W is an instance of Y, W is located at Z, and W is a part of the organization the government of X
(=>
    (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 4650-4659 If X is diplomatic organization type Y for Z, X is an instance of organization, and Z is an instance of geopolitical area, then there exists W such that W is an instance of Y, W is located at Z, and W is a part of the organization X
(=>
    (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 X is an element of belongings of Y, annex room is an attribute of X, and X is an instance of hotel room, then All of the following hold: (1) there exist Z, W (2) V such that V is a part of the organization Y (3) V is an instance of front desk (4) V is located at Z (5) Z is an element of belongings of Y (6) W is an element of belongings of Y (7) X is a part of W (8) equal Z (9) W
(=>
    (instance ?X HotelFrontDesk)
    (exists (?ORG)
        (and
            (attribute ?ORG TravelerAccommodation)
            (subOrganization ?X ?ORG))))		 Hotel.kif 1759-1764 If X is an instance of front desk, then there exists Y such that traveler accommodation is an attribute of Y and X is a part of the organization Y
(=>
    (instance ?FMF FleetMarineForce)
    (exists (?M)
        (and
            (instance ?M MarinesBranchOfService)
            (subOrganization ?FMF ?M))))		 Medicine.kif 6096-6101 If X is an instance of fleet marine force, then there exists Y such that Y is an instance of marines- branch of service and X is a part of the organization Y
(=>
    (and
        (subEchelon ?MUClass1 ?MUClass2)
        (instance ?MU1 ?MUClass1))
    (exists (?MU2)
        (and
            (instance ?MU2 ?MUClass2)
            (subOrganization ?MU1 ?MU2))))		 Military.kif 968-975 If X is a sub echelon of Y and Z is an instance of Y, then there exists W such that W is an instance of X and Z is a part of the organization W

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


(subOrganization HoldenCorporation GeneralMotorsCorp) Cars.kif 4395-4395 Holden Corporation is a part of the organization General Motors
(subOrganization GoogleCorporation AlphabetCorporation) ComputingBrands.kif 17-17 Google corporation is a part of the organization Alphabet
(subOrganization UnitedStatesCongress
    (GovernmentFn UnitedStates))		 Government.kif 1920-1920 United states congress is a part of the organization the government of united states
(subOrganization USStateDepartment
    (GovernmentFn UnitedStates))		 Government.kif 2361-2361 US state department is a part of the organization the government of united states
(subOrganization EconomicAndSocialCouncil UnitedNations) Government.kif 3068-3068 Economic and social council is a part of the organization united nations
(subOrganization CommissionForSocialDevelopment EconomicAndSocialCouncil) Government.kif 3069-3069 Commission for social development is a part of the organization economic and social council
(subOrganization CommissionOnCrimePreventionAndCriminalJustice EconomicAndSocialCouncil) Government.kif 3071-3071 Commission on crime prevention and criminal justice is a part of the organization economic and social council
(subOrganization CommissionOnHumanRights EconomicAndSocialCouncil) Government.kif 3073-3073 Commission on human rights is a part of the organization economic and social council
(subOrganization CommissionOnNarcoticsDrugs EconomicAndSocialCouncil) Government.kif 3075-3075 Commission on narcotics drugs is a part of the organization economic and social council
(subOrganization CommissionOnPopulationAndDevelopment EconomicAndSocialCouncil) Government.kif 3077-3077 Commission on population and development is a part of the organization economic and social council
(subOrganization CommissionOnScienceAndTechnologyForDevelopment EconomicAndSocialCouncil) Government.kif 3079-3079 Commission on science and technology for development is a part of the organization economic and social council
(subOrganization CommissionOnSustainableDevelopment EconomicAndSocialCouncil) Government.kif 3081-3081 Commission on sustainable development is a part of the organization economic and social council
(subOrganization CommissionOnTheStatusOfWomen EconomicAndSocialCouncil) Government.kif 3083-3083 Commission on the status of women is a part of the organization economic and social council
(subOrganization EconomicAndSocialCommissionForAsiaAndThePacific EconomicAndSocialCouncil) Government.kif 3085-3085 Economic and social commission for asia and the pacific is a part of the organization economic and social council
(subOrganization EconomicAndSocialCommissionForWesternAsia EconomicAndSocialCouncil) Government.kif 3087-3087 Economic and social commission for western asia is a part of the organization economic and social council
(subOrganization EconomicCommissionForAfrica EconomicAndSocialCouncil) Government.kif 3089-3089 Economic commission for africa is a part of the organization economic and social council
(subOrganization EconomicCommissionForEurope EconomicAndSocialCouncil) Government.kif 3091-3091 Economic commission for europe is a part of the organization economic and social council
(subOrganization EconomicCommissionForLatinAmericaAndTheCaribbean EconomicAndSocialCouncil) Government.kif 3093-3093 Economic commission for latin america and the caribbean is a part of the organization economic and social council
(subOrganization FoodAndAgricultureOrganization EconomicAndSocialCouncil) Government.kif 3095-3095 Food and agriculture organization is a part of the organization economic and social council
(subOrganization InternationalAtomicEnergyAgency EconomicAndSocialCouncil) Government.kif 3096-3096 International atomic energy agency is a part of the organization economic and social council
(subOrganization InternationalBankForReconstructionAndDevelopment EconomicAndSocialCouncil) Government.kif 3097-3097 International bank for reconstruction and development is a part of the organization economic and social council
(subOrganization InternationalCenterForSecretariatOfInvestmentDisputes EconomicAndSocialCouncil) Government.kif 3098-3098 International center for secretariat of investment disputes is a part of the organization economic and social council
(subOrganization InternationalCivilAviationOrganization EconomicAndSocialCouncil) Government.kif 3100-3100 International civil aviation organization is a part of the organization economic and social council
(subOrganization InternationalDevelopmentAssociation EconomicAndSocialCouncil) Government.kif 3101-3101 International development association is a part of the organization economic and social council
(subOrganization InternationalFinanceCorporation EconomicAndSocialCouncil) Government.kif 3102-3102 International finance corporation 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners