TreeView Knowledge Base Browser - InternationalOrganization

appearance as argument number 1

(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 2473-2475
(subclass InternationalOrganization Organization)	Government.kif 2471-2471	International organization is a subclass of organization

appearance as argument number 2

(instance CommissionForSocialDevelopment InternationalOrganization)	Government.kif 3039-3039	Commission for social development is an instance of international organization
(instance CommissionOnCrimePreventionAndCriminalJustice InternationalOrganization)	Government.kif 3041-3041	Commission on crime prevention and criminal justice is an instance of international organization
(instance CommissionOnHumanRights InternationalOrganization)	Government.kif 3043-3043	Commission on human rights is an instance of international organization
(instance CommissionOnNarcoticsDrugs InternationalOrganization)	Government.kif 3045-3045	Commission on narcotics drugs is an instance of international organization
(instance CommissionOnPopulationAndDevelopment InternationalOrganization)	Government.kif 3047-3047	Commission on population and development is an instance of international organization
(instance CommissionOnScienceAndTechnologyForDevelopment InternationalOrganization)	Government.kif 3049-3049	Commission on science and technology for development is an instance of international organization
(instance CommissionOnSustainableDevelopment InternationalOrganization)	Government.kif 3051-3051	Commission on sustainable development is an instance of international organization
(instance CommissionOnTheStatusOfWomen InternationalOrganization)	Government.kif 3053-3053	Commission on the status of women is an instance of international organization
(instance EconomicAndSocialCommissionForAsiaAndThePacific InternationalOrganization)	Government.kif 3055-3055	Economic and social commission for asia and the pacific is an instance of international organization
(instance EconomicAndSocialCommissionForWesternAsia InternationalOrganization)	Government.kif 3057-3057	Economic and social commission for western asia is an instance of international organization
(instance EconomicCommissionForAfrica InternationalOrganization)	Government.kif 3059-3059	Economic commission for africa is an instance of international organization
(instance EconomicCommissionForEurope InternationalOrganization)	Government.kif 3061-3061	Economic commission for europe is an instance of international organization
(instance EconomicCommissionForLatinAmericaAndTheCaribbean InternationalOrganization)	Government.kif 3063-3063	Economic commission for latin america and the caribbean is an instance of international organization
(instance InternationalAirTransportAssociation InternationalOrganization)	Transportation.kif 4014-4014	International Air Transport Association is an instance of international organization
(instance InternationalCenterForSecretariatOfInvestmentDisputes InternationalOrganization)	Government.kif 3068-3068	International center for secretariat of investment disputes is an instance of international organization
(instance InternationalCommitteeOfTheRedCross InternationalOrganization)	Government.kif 3394-3394	International committee of the red cross is an instance of international organization
(instance InternationalCourtOfJustice InternationalOrganization)	Government.kif 3407-3407	International court of justice is an instance of international organization
(instance InternationalCriminalTribunalForRwanda InternationalOrganization)	Government.kif 4171-4171	International criminal tribunal for rwanda is an instance of international organization
(instance InternationalCriminalTribunalForTheFormerYugoslavia InternationalOrganization)	Government.kif 4165-4165	International criminal tribunal for the former yugoslavia is an instance of international organization
(instance InternationalRedCrossAndRedCrescentMovement InternationalOrganization)	Government.kif 3558-3558	International red cross and red crescent movement is an instance of international organization
(instance MulitlateralInvestmentGeographicAgency InternationalOrganization)	Government.kif 3078-3078	Mulitlateral investment geographic agency is an instance of international organization
(instance StatisticalCommission InternationalOrganization)	Government.kif 3080-3080	Statistical commission is an instance of international organization
(instance UnitedNationsCompensationCommission InternationalOrganization)	Government.kif 4177-4177	United nations compensation commission is an instance of international organization
(instance UnitedNationsHighCommissionerForHumanRights InternationalOrganization)	Government.kif 3938-3938	United nations high commissioner for human rights is an instance of international organization
(instance UnitedNationsInstituteForDisarmamentResearch InternationalOrganization)	Government.kif 3944-3944	United nations institute for disarmament research is an instance of international organization

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (instance ?AGENT InternationalOrganization) (organizationalObjective ?AGENT ?TOPIC)) (instance ?TOPIC TransnationalIssue))	Government.kif 2575-2579	If an agent is an instance of international organization and an area of concern is an organizational objective of the agent, then the area of concern is an instance of transnational issue
(=> (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 2477-2485	If an agent is an instance of international organization, then there exist a geographic area and another geographic area such that the geographic area is an instance of nation and the other geographic area is an instance of nation and the geographic area is an agent operates in area of the agent and the other geographic area is an agent operates in area of the agent and equal the geographic area and the other geographic area

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: