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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternationalOrganization

 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 2476-2478
(subclass InternationalOrganization Organization) Government.kif 2474-2474 InternationalOrganization est une sous-classe de organisation

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


(instance CommissionForSocialDevelopment InternationalOrganization) Government.kif 3042-3042 CommissionForSocialDevelopment est une instance de InternationalOrganization
(instance CommissionOnCrimePreventionAndCriminalJustice InternationalOrganization) Government.kif 3044-3044 CommissionOnCrimePreventionAndCriminalJustice est une instance de InternationalOrganization
(instance CommissionOnHumanRights InternationalOrganization) Government.kif 3046-3046 CommissionOnHumanRights est une instance de InternationalOrganization
(instance CommissionOnNarcoticsDrugs InternationalOrganization) Government.kif 3048-3048 CommissionOnNarcoticsDrugs est une instance de InternationalOrganization
(instance CommissionOnPopulationAndDevelopment InternationalOrganization) Government.kif 3050-3050 CommissionOnPopulationAndDevelopment est une instance de InternationalOrganization
(instance CommissionOnScienceAndTechnologyForDevelopment InternationalOrganization) Government.kif 3052-3052 CommissionOnScienceAndTechnologyForDevelopment est une instance de InternationalOrganization
(instance CommissionOnSustainableDevelopment InternationalOrganization) Government.kif 3054-3054 CommissionOnSustainableDevelopment est une instance de InternationalOrganization
(instance CommissionOnTheStatusOfWomen InternationalOrganization) Government.kif 3056-3056 CommissionOnTheStatusOfWomen est une instance de InternationalOrganization
(instance EconomicAndSocialCommissionForAsiaAndThePacific InternationalOrganization) Government.kif 3058-3058 EconomicAndSocialCommissionForAsiaAndThePacific est une instance de InternationalOrganization
(instance EconomicAndSocialCommissionForWesternAsia InternationalOrganization) Government.kif 3060-3060 EconomicAndSocialCommissionForWesternAsia est une instance de InternationalOrganization
(instance EconomicCommissionForAfrica InternationalOrganization) Government.kif 3062-3062 EconomicCommissionForAfrica est une instance de InternationalOrganization
(instance EconomicCommissionForEurope InternationalOrganization) Government.kif 3064-3064 EconomicCommissionForEurope est une instance de InternationalOrganization
(instance EconomicCommissionForLatinAmericaAndTheCaribbean InternationalOrganization) Government.kif 3066-3066 EconomicCommissionForLatinAmericaAndTheCaribbean est une instance de InternationalOrganization
(instance InternationalAirTransportAssociation InternationalOrganization) Transportation.kif 3164-3164 InternationalAirTransportAssociation est une instance de InternationalOrganization
(instance InternationalCenterForSecretariatOfInvestmentDisputes InternationalOrganization) Government.kif 3071-3071 InternationalCenterForSecretariatOfInvestmentDisputes est une instance de InternationalOrganization
(instance InternationalCommitteeOfTheRedCross InternationalOrganization) Government.kif 3397-3397 InternationalCommitteeOfTheRedCross est une instance de InternationalOrganization
(instance InternationalCourtOfJustice InternationalOrganization) Government.kif 3410-3410 InternationalCourtOfJustice est une instance de InternationalOrganization
(instance InternationalCriminalTribunalForRwanda InternationalOrganization) Government.kif 4174-4174 InternationalCriminalTribunalForRwanda est une instance de InternationalOrganization
(instance InternationalCriminalTribunalForTheFormerYugoslavia InternationalOrganization) Government.kif 4168-4168 InternationalCriminalTribunalForTheFormerYugoslavia est une instance de InternationalOrganization
(instance InternationalRedCrossAndRedCrescentMovement InternationalOrganization) Government.kif 3561-3561 InternationalRedCrossAndRedCrescentMovement est une instance de InternationalOrganization
(instance MulitlateralInvestmentGeographicAgency InternationalOrganization) Government.kif 3081-3081 MulitlateralInvestmentGeographicAgency est une instance de InternationalOrganization
(instance StatisticalCommission InternationalOrganization) Government.kif 3083-3083 StatisticalCommission est une instance de InternationalOrganization
(instance UnitedNationsCompensationCommission InternationalOrganization) Government.kif 4180-4180 UnitedNationsCompensationCommission est une instance de InternationalOrganization
(instance UnitedNationsHighCommissionerForHumanRights InternationalOrganization) Government.kif 3941-3941 UnitedNationsHighCommissionerForHumanRights est une instance de InternationalOrganization
(instance UnitedNationsInstituteForDisarmamentResearch InternationalOrganization) Government.kif 3947-3947 UnitedNationsInstituteForDisarmamentResearch est une instance de InternationalOrganization

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