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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternationalOrganization
InternationalOrganization(international organization)

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 2476-2478
(subclass InternationalOrganization Organization) Government.kif 2474-2474 International organization is a subclass of organization

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


(instance CommissionForSocialDevelopment InternationalOrganization) Government.kif 3042-3042 Commission for social development is an instance of international organization
(instance CommissionOnCrimePreventionAndCriminalJustice InternationalOrganization) Government.kif 3044-3044 Commission on crime prevention and criminal justice is an instance of international organization
(instance CommissionOnHumanRights InternationalOrganization) Government.kif 3046-3046 Commission on human rights is an instance of international organization
(instance CommissionOnNarcoticsDrugs InternationalOrganization) Government.kif 3048-3048 Commission on narcotics drugs is an instance of international organization
(instance CommissionOnPopulationAndDevelopment InternationalOrganization) Government.kif 3050-3050 Commission on population and development is an instance of international organization
(instance CommissionOnScienceAndTechnologyForDevelopment InternationalOrganization) Government.kif 3052-3052 Commission on science and technology for development is an instance of international organization
(instance CommissionOnSustainableDevelopment InternationalOrganization) Government.kif 3054-3054 Commission on sustainable development is an instance of international organization
(instance CommissionOnTheStatusOfWomen InternationalOrganization) Government.kif 3056-3056 Commission on the status of women is an instance of international organization
(instance EconomicAndSocialCommissionForAsiaAndThePacific InternationalOrganization) Government.kif 3058-3058 Economic and social commission for asia and the pacific is an instance of international organization
(instance EconomicAndSocialCommissionForWesternAsia InternationalOrganization) Government.kif 3060-3060 Economic and social commission for western asia is an instance of international organization
(instance EconomicCommissionForAfrica InternationalOrganization) Government.kif 3062-3062 Economic commission for africa is an instance of international organization
(instance EconomicCommissionForEurope InternationalOrganization) Government.kif 3064-3064 Economic commission for europe is an instance of international organization
(instance EconomicCommissionForLatinAmericaAndTheCaribbean InternationalOrganization) Government.kif 3066-3066 Economic commission for latin america and the caribbean is an instance of international organization
(instance InternationalAirTransportAssociation InternationalOrganization) Transportation.kif 3939-3939 International Air Transport Association is an instance of international organization
(instance InternationalCenterForSecretariatOfInvestmentDisputes InternationalOrganization) Government.kif 3071-3071 International center for secretariat of investment disputes is an instance of international organization
(instance InternationalCommitteeOfTheRedCross InternationalOrganization) Government.kif 3397-3397 International committee of the red cross is an instance of international organization
(instance InternationalCourtOfJustice InternationalOrganization) Government.kif 3410-3410 International court of justice is an instance of international organization
(instance InternationalCriminalTribunalForRwanda InternationalOrganization) Government.kif 4174-4174 International criminal tribunal for rwanda is an instance of international organization
(instance InternationalCriminalTribunalForTheFormerYugoslavia InternationalOrganization) Government.kif 4168-4168 International criminal tribunal for the former yugoslavia is an instance of international organization
(instance InternationalRedCrossAndRedCrescentMovement InternationalOrganization) Government.kif 3561-3561 International red cross and red crescent movement is an instance of international organization
(instance MulitlateralInvestmentGeographicAgency InternationalOrganization) Government.kif 3081-3081 Mulitlateral investment geographic agency is an instance of international organization
(instance StatisticalCommission InternationalOrganization) Government.kif 3083-3083 Statistical commission is an instance of international organization
(instance UnitedNationsCompensationCommission InternationalOrganization) Government.kif 4180-4180 United nations compensation commission is an instance of international organization
(instance UnitedNationsHighCommissionerForHumanRights InternationalOrganization) Government.kif 3941-3941 United nations high commissioner for human rights is an instance of international organization
(instance UnitedNationsInstituteForDisarmamentResearch InternationalOrganization) Government.kif 3947-3947 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 2578-2582
(=>
    (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 2480-2488


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