InternationalOrganization - Sigma Knowledge base Browser

appearance as argument number 1

(subclass InternationalOrganization Organization)	Government.kif 2502-2502	International organization is a subclass of organization
(documentation InternationalOrganization EnglishLanguage "InternationalOrganization is the class of Organizations whose activities have international scope and which typically have members who are, or are from, different Nations.")	Government.kif 2504-2506	International organization is a subclass of organization

appearance as argument number 2

(subclass OrganizationOfNations InternationalOrganization)	Government.kif 2518-2518	Organization of nations is a subclass of international organization
(instance CommissionForSocialDevelopment InternationalOrganization)	Government.kif 3070-3070	Commission for social development is an instance of international organization
(instance CommissionOnCrimePreventionAndCriminalJustice InternationalOrganization)	Government.kif 3072-3072	Commission on crime prevention and criminal justice is an instance of international organization
(instance CommissionOnHumanRights InternationalOrganization)	Government.kif 3074-3074	Commission on human rights is an instance of international organization
(instance CommissionOnNarcoticsDrugs InternationalOrganization)	Government.kif 3076-3076	Commission on narcotics drugs is an instance of international organization
(instance CommissionOnPopulationAndDevelopment InternationalOrganization)	Government.kif 3078-3078	Commission on population and development is an instance of international organization
(instance CommissionOnScienceAndTechnologyForDevelopment InternationalOrganization)	Government.kif 3080-3080	Commission on science and technology for development is an instance of international organization
(instance CommissionOnSustainableDevelopment InternationalOrganization)	Government.kif 3082-3082	Commission on sustainable development is an instance of international organization
(instance CommissionOnTheStatusOfWomen InternationalOrganization)	Government.kif 3084-3084	Commission on the status of women is an instance of international organization
(instance EconomicAndSocialCommissionForAsiaAndThePacific InternationalOrganization)	Government.kif 3086-3086	Economic and social commission for asia and the pacific is an instance of international organization
(instance EconomicAndSocialCommissionForWesternAsia InternationalOrganization)	Government.kif 3088-3088	Economic and social commission for western asia is an instance of international organization
(instance EconomicCommissionForAfrica InternationalOrganization)	Government.kif 3090-3090	Economic commission for africa is an instance of international organization
(instance EconomicCommissionForEurope InternationalOrganization)	Government.kif 3092-3092	Economic commission for europe is an instance of international organization
(instance EconomicCommissionForLatinAmericaAndTheCaribbean InternationalOrganization)	Government.kif 3094-3094	Economic commission for latin america and the caribbean is an instance of international organization
(instance InternationalCenterForSecretariatOfInvestmentDisputes InternationalOrganization)	Government.kif 3099-3099	International center for secretariat of investment disputes is an instance of international organization
(instance MulitlateralInvestmentGeographicAgency InternationalOrganization)	Government.kif 3109-3109	Mulitlateral investment geographic agency is an instance of international organization
(instance StatisticalCommission InternationalOrganization)	Government.kif 3111-3111	Statistical commission is an instance of international organization
(instance InternationalCommitteeOfTheRedCross InternationalOrganization)	Government.kif 3425-3425	International committee of the red cross is an instance of international organization
(instance InternationalCourtOfJustice InternationalOrganization)	Government.kif 3438-3438	International court of justice is an instance of international organization
(instance InternationalRedCrossAndRedCrescentMovement InternationalOrganization)	Government.kif 3589-3589	International red cross and red crescent movement is an instance of international organization
(instance UnitedNationsHighCommissionerForHumanRights InternationalOrganization)	Government.kif 3969-3969	United nations high commissioner for human rights is an instance of international organization
(instance UnitedNationsInstituteForDisarmamentResearch InternationalOrganization)	Government.kif 3975-3975	United nations institute for disarmament research is an instance of international organization
(instance UnitedNationsInterregionalCrimeAndJusticeResearchInstitute InternationalOrganization)	Government.kif 3981-3981	United nations interregional crime and justice research institute is an instance of international organization
(instance UnitedNationsOfficeOfProjectServices InternationalOrganization)	Government.kif 3998-3998	United nations office of project services is an instance of international organization
(instance UnitedNationsResearchInstituteForSocialDevelopment InternationalOrganization)	Government.kif 4145-4145	United nations research institute for social development is an instance of international organization

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (instance ?ORG InternationalOrganization) (exists (?COUNTRY1 ?COUNTRY2) (and (instance ?COUNTRY1 Nation) (instance ?COUNTRY2 Nation) (agentOperatesInArea ?ORG ?COUNTRY1) (agentOperatesInArea ?ORG ?COUNTRY2) (not (equal ?COUNTRY1 ?COUNTRY2)))))	Government.kif 2508-2516	If X is an instance of international organization, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of nation (3) Z is an instance of nation (4) Y is an agent operates in area of X (5) Z is an agent operates in area of X (6) equal Y (7) Z
(=> (and (instance ?AGENT InternationalOrganization) (organizationalObjective ?AGENT ?TOPIC)) (instance ?TOPIC TransnationalIssue))	Government.kif 2606-2610	If X is an instance of international organization and Y is an organizational objective of X, then Y is an instance of transnational issue

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