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

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


(instance CommissionForSocialDevelopment InternationalOrganization) Government.kif 3078-3078
(instance CommissionOnCrimePreventionAndCriminalJustice InternationalOrganization) Government.kif 3080-3080
(instance CommissionOnHumanRights InternationalOrganization) Government.kif 3082-3082
(instance CommissionOnNarcoticsDrugs InternationalOrganization) Government.kif 3084-3084
(instance CommissionOnPopulationAndDevelopment InternationalOrganization) Government.kif 3086-3086
(instance CommissionOnScienceAndTechnologyForDevelopment InternationalOrganization) Government.kif 3088-3088
(instance CommissionOnSustainableDevelopment InternationalOrganization) Government.kif 3090-3090
(instance CommissionOnTheStatusOfWomen InternationalOrganization) Government.kif 3092-3092
(instance EconomicAndSocialCommissionForAsiaAndThePacific InternationalOrganization) Government.kif 3094-3094
(instance EconomicAndSocialCommissionForWesternAsia InternationalOrganization) Government.kif 3096-3096
(instance EconomicCommissionForAfrica InternationalOrganization) Government.kif 3098-3098
(instance EconomicCommissionForEurope InternationalOrganization) Government.kif 3100-3100
(instance EconomicCommissionForLatinAmericaAndTheCaribbean InternationalOrganization) Government.kif 3102-3102
(instance InternationalAirTransportAssociation InternationalOrganization) Transportation.kif 3112-3112
(instance InternationalCenterForSecretariatOfInvestmentDisputes InternationalOrganization) Government.kif 3107-3107
(instance InternationalCommitteeOfTheRedCross InternationalOrganization) Government.kif 3433-3433
(instance InternationalCourtOfJustice InternationalOrganization) Government.kif 3446-3446
(instance InternationalCriminalTribunalForRwanda InternationalOrganization) Government.kif 4210-4210
(instance InternationalCriminalTribunalForTheFormerYugoslavia InternationalOrganization) Government.kif 4204-4204
(instance InternationalRedCrossAndRedCrescentMovement InternationalOrganization) Government.kif 3597-3597
(instance MulitlateralInvestmentGeographicAgency InternationalOrganization) Government.kif 3117-3117
(instance StatisticalCommission InternationalOrganization) Government.kif 3119-3119
(instance UnitedNationsCompensationCommission InternationalOrganization) Government.kif 4216-4216
(instance UnitedNationsHighCommissionerForHumanRights InternationalOrganization) Government.kif 3977-3977
(instance UnitedNationsInstituteForDisarmamentResearch InternationalOrganization) Government.kif 3983-3983

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