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 2512-2514
(subclass InternationalOrganization Organization) Government.kif 2510-2510 InternationalOrganization組織subclass では %n

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


(instance CommissionForSocialDevelopment InternationalOrganization) Government.kif 3078-3078 CommissionForSocialDevelopmentInternationalOrganizationinstance では %n
(instance CommissionOnCrimePreventionAndCriminalJustice InternationalOrganization) Government.kif 3080-3080 CommissionOnCrimePreventionAndCriminalJusticeInternationalOrganizationinstance では %n
(instance CommissionOnHumanRights InternationalOrganization) Government.kif 3082-3082 CommissionOnHumanRightsInternationalOrganizationinstance では %n
(instance CommissionOnNarcoticsDrugs InternationalOrganization) Government.kif 3084-3084 CommissionOnNarcoticsDrugsInternationalOrganizationinstance では %n
(instance CommissionOnPopulationAndDevelopment InternationalOrganization) Government.kif 3086-3086 CommissionOnPopulationAndDevelopmentInternationalOrganizationinstance では %n
(instance CommissionOnScienceAndTechnologyForDevelopment InternationalOrganization) Government.kif 3088-3088 CommissionOnScienceAndTechnologyForDevelopmentInternationalOrganizationinstance では %n
(instance CommissionOnSustainableDevelopment InternationalOrganization) Government.kif 3090-3090 CommissionOnSustainableDevelopmentInternationalOrganizationinstance では %n
(instance CommissionOnTheStatusOfWomen InternationalOrganization) Government.kif 3092-3092 CommissionOnTheStatusOfWomenInternationalOrganizationinstance では %n
(instance EconomicAndSocialCommissionForAsiaAndThePacific InternationalOrganization) Government.kif 3094-3094 EconomicAndSocialCommissionForAsiaAndThePacificInternationalOrganizationinstance では %n
(instance EconomicAndSocialCommissionForWesternAsia InternationalOrganization) Government.kif 3096-3096 EconomicAndSocialCommissionForWesternAsiaInternationalOrganizationinstance では %n
(instance EconomicCommissionForAfrica InternationalOrganization) Government.kif 3098-3098 EconomicCommissionForAfricaInternationalOrganizationinstance では %n
(instance EconomicCommissionForEurope InternationalOrganization) Government.kif 3100-3100 EconomicCommissionForEuropeInternationalOrganizationinstance では %n
(instance EconomicCommissionForLatinAmericaAndTheCaribbean InternationalOrganization) Government.kif 3102-3102 EconomicCommissionForLatinAmericaAndTheCaribbeanInternationalOrganizationinstance では %n
(instance InternationalAirTransportAssociation InternationalOrganization) Transportation.kif 3112-3112 InternationalAirTransportAssociationInternationalOrganizationinstance では %n
(instance InternationalCenterForSecretariatOfInvestmentDisputes InternationalOrganization) Government.kif 3107-3107 InternationalCenterForSecretariatOfInvestmentDisputesInternationalOrganizationinstance では %n
(instance InternationalCommitteeOfTheRedCross InternationalOrganization) Government.kif 3433-3433 InternationalCommitteeOfTheRedCrossInternationalOrganizationinstance では %n
(instance InternationalCourtOfJustice InternationalOrganization) Government.kif 3446-3446 InternationalCourtOfJusticeInternationalOrganizationinstance では %n
(instance InternationalCriminalTribunalForRwanda InternationalOrganization) Government.kif 4210-4210 InternationalCriminalTribunalForRwandaInternationalOrganizationinstance では %n
(instance InternationalCriminalTribunalForTheFormerYugoslavia InternationalOrganization) Government.kif 4204-4204 InternationalCriminalTribunalForTheFormerYugoslaviaInternationalOrganizationinstance では %n
(instance InternationalRedCrossAndRedCrescentMovement InternationalOrganization) Government.kif 3597-3597 InternationalRedCrossAndRedCrescentMovementInternationalOrganizationinstance では %n
(instance MulitlateralInvestmentGeographicAgency InternationalOrganization) Government.kif 3117-3117 MulitlateralInvestmentGeographicAgencyInternationalOrganizationinstance では %n
(instance StatisticalCommission InternationalOrganization) Government.kif 3119-3119 StatisticalCommissionInternationalOrganizationinstance では %n
(instance UnitedNationsCompensationCommission InternationalOrganization) Government.kif 4216-4216 UnitedNationsCompensationCommissionInternationalOrganizationinstance では %n
(instance UnitedNationsHighCommissionerForHumanRights InternationalOrganization) Government.kif 3977-3977 UnitedNationsHighCommissionerForHumanRightsInternationalOrganizationinstance では %n
(instance UnitedNationsInstituteForDisarmamentResearch InternationalOrganization) Government.kif 3983-3983 UnitedNationsInstituteForDisarmamentResearchInternationalOrganizationinstance では %n

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 2614-2618
(=>
    (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 2516-2524


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