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 2509-2511
(subclass InternationalOrganization Organization) Government.kif 2507-2507

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


(instance CommissionForSocialDevelopment InternationalOrganization) Government.kif 3070-3070
(instance CommissionOnCrimePreventionAndCriminalJustice InternationalOrganization) Government.kif 3072-3072
(instance CommissionOnHumanRights InternationalOrganization) Government.kif 3074-3074
(instance CommissionOnNarcoticsDrugs InternationalOrganization) Government.kif 3076-3076
(instance CommissionOnPopulationAndDevelopment InternationalOrganization) Government.kif 3078-3078
(instance CommissionOnScienceAndTechnologyForDevelopment InternationalOrganization) Government.kif 3080-3080
(instance CommissionOnSustainableDevelopment InternationalOrganization) Government.kif 3082-3082
(instance CommissionOnTheStatusOfWomen InternationalOrganization) Government.kif 3084-3084
(instance EconomicAndSocialCommissionForAsiaAndThePacific InternationalOrganization) Government.kif 3086-3086
(instance EconomicAndSocialCommissionForWesternAsia InternationalOrganization) Government.kif 3088-3088
(instance EconomicCommissionForAfrica InternationalOrganization) Government.kif 3090-3090
(instance EconomicCommissionForEurope InternationalOrganization) Government.kif 3092-3092
(instance EconomicCommissionForLatinAmericaAndTheCaribbean InternationalOrganization) Government.kif 3094-3094
(instance InternationalAirTransportAssociation InternationalOrganization) Transportation.kif 3119-3119
(instance InternationalCenterForSecretariatOfInvestmentDisputes InternationalOrganization) Government.kif 3099-3099
(instance InternationalCommitteeOfTheRedCross InternationalOrganization) Government.kif 3425-3425
(instance InternationalCourtOfJustice InternationalOrganization) Government.kif 3438-3438
(instance InternationalCriminalTribunalForRwanda InternationalOrganization) Government.kif 4202-4202
(instance InternationalCriminalTribunalForTheFormerYugoslavia InternationalOrganization) Government.kif 4196-4196
(instance InternationalRedCrossAndRedCrescentMovement InternationalOrganization) Government.kif 3589-3589
(instance MulitlateralInvestmentGeographicAgency InternationalOrganization) Government.kif 3109-3109
(instance StatisticalCommission InternationalOrganization) Government.kif 3111-3111
(instance UnitedNationsCompensationCommission InternationalOrganization) Government.kif 4208-4208
(instance UnitedNationsHighCommissionerForHumanRights InternationalOrganization) Government.kif 3969-3969
(instance UnitedNationsInstituteForDisarmamentResearch InternationalOrganization) Government.kif 3975-3975

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 2611-2615
(=>
    (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 2513-2521


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