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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - InternationalOrganization
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 InternationalOrganization組織subclass では

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


(instance CommissionForSocialDevelopment InternationalOrganization) Government.kif 3039-3039 CommissionForSocialDevelopmentInternationalOrganizationinstance では
(instance CommissionOnCrimePreventionAndCriminalJustice InternationalOrganization) Government.kif 3041-3041 CommissionOnCrimePreventionAndCriminalJusticeInternationalOrganizationinstance では
(instance CommissionOnHumanRights InternationalOrganization) Government.kif 3043-3043 CommissionOnHumanRightsInternationalOrganizationinstance では
(instance CommissionOnNarcoticsDrugs InternationalOrganization) Government.kif 3045-3045 CommissionOnNarcoticsDrugsInternationalOrganizationinstance では
(instance CommissionOnPopulationAndDevelopment InternationalOrganization) Government.kif 3047-3047 CommissionOnPopulationAndDevelopmentInternationalOrganizationinstance では
(instance CommissionOnScienceAndTechnologyForDevelopment InternationalOrganization) Government.kif 3049-3049 CommissionOnScienceAndTechnologyForDevelopmentInternationalOrganizationinstance では
(instance CommissionOnSustainableDevelopment InternationalOrganization) Government.kif 3051-3051 CommissionOnSustainableDevelopmentInternationalOrganizationinstance では
(instance CommissionOnTheStatusOfWomen InternationalOrganization) Government.kif 3053-3053 CommissionOnTheStatusOfWomenInternationalOrganizationinstance では
(instance EconomicAndSocialCommissionForAsiaAndThePacific InternationalOrganization) Government.kif 3055-3055 EconomicAndSocialCommissionForAsiaAndThePacificInternationalOrganizationinstance では
(instance EconomicAndSocialCommissionForWesternAsia InternationalOrganization) Government.kif 3057-3057 EconomicAndSocialCommissionForWesternAsiaInternationalOrganizationinstance では
(instance EconomicCommissionForAfrica InternationalOrganization) Government.kif 3059-3059 EconomicCommissionForAfricaInternationalOrganizationinstance では
(instance EconomicCommissionForEurope InternationalOrganization) Government.kif 3061-3061 EconomicCommissionForEuropeInternationalOrganizationinstance では
(instance EconomicCommissionForLatinAmericaAndTheCaribbean InternationalOrganization) Government.kif 3063-3063 EconomicCommissionForLatinAmericaAndTheCaribbeanInternationalOrganizationinstance では
(instance InternationalAirTransportAssociation InternationalOrganization) Transportation.kif 4018-4018 InternationalAirTransportAssociationInternationalOrganizationinstance では
(instance InternationalCenterForSecretariatOfInvestmentDisputes InternationalOrganization) Government.kif 3068-3068 InternationalCenterForSecretariatOfInvestmentDisputesInternationalOrganizationinstance では
(instance InternationalCommitteeOfTheRedCross InternationalOrganization) Government.kif 3394-3394 InternationalCommitteeOfTheRedCrossInternationalOrganizationinstance では
(instance InternationalCourtOfJustice InternationalOrganization) Government.kif 3407-3407 InternationalCourtOfJusticeInternationalOrganizationinstance では
(instance InternationalCriminalTribunalForRwanda InternationalOrganization) Government.kif 4171-4171 InternationalCriminalTribunalForRwandaInternationalOrganizationinstance では
(instance InternationalCriminalTribunalForTheFormerYugoslavia InternationalOrganization) Government.kif 4165-4165 InternationalCriminalTribunalForTheFormerYugoslaviaInternationalOrganizationinstance では
(instance InternationalRedCrossAndRedCrescentMovement InternationalOrganization) Government.kif 3558-3558 InternationalRedCrossAndRedCrescentMovementInternationalOrganizationinstance では
(instance MulitlateralInvestmentGeographicAgency InternationalOrganization) Government.kif 3078-3078 MulitlateralInvestmentGeographicAgencyInternationalOrganizationinstance では
(instance StatisticalCommission InternationalOrganization) Government.kif 3080-3080 StatisticalCommissionInternationalOrganizationinstance では
(instance UnitedNationsCompensationCommission InternationalOrganization) Government.kif 4177-4177 UnitedNationsCompensationCommissionInternationalOrganizationinstance では
(instance UnitedNationsHighCommissionerForHumanRights InternationalOrganization) Government.kif 3938-3938 UnitedNationsHighCommissionerForHumanRightsInternationalOrganizationinstance では
(instance UnitedNationsInstituteForDisarmamentResearch InternationalOrganization) Government.kif 3944-3944 UnitedNationsInstituteForDisarmamentResearchInternationalOrganizationinstance では

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
(=>
    (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


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