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 2476-2478
(subclass InternationalOrganization Organization) Government.kif 2474-2474

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


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

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