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 2453-2455
(subclass InternationalOrganization Organization) Government.kif 2451-2451

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


(instance CommissionForSocialDevelopment InternationalOrganization) Government.kif 3009-3009
(instance CommissionOnCrimePreventionAndCriminalJustice InternationalOrganization) Government.kif 3011-3011
(instance CommissionOnHumanRights InternationalOrganization) Government.kif 3013-3013
(instance CommissionOnNarcoticsDrugs InternationalOrganization) Government.kif 3015-3015
(instance CommissionOnPopulationAndDevelopment InternationalOrganization) Government.kif 3017-3017
(instance CommissionOnScienceAndTechnologyForDevelopment InternationalOrganization) Government.kif 3019-3019
(instance CommissionOnSustainableDevelopment InternationalOrganization) Government.kif 3021-3021
(instance CommissionOnTheStatusOfWomen InternationalOrganization) Government.kif 3023-3023
(instance EconomicAndSocialCommissionForAsiaAndThePacific InternationalOrganization) Government.kif 3025-3025
(instance EconomicAndSocialCommissionForWesternAsia InternationalOrganization) Government.kif 3027-3027
(instance EconomicCommissionForAfrica InternationalOrganization) Government.kif 3029-3029
(instance EconomicCommissionForEurope InternationalOrganization) Government.kif 3031-3031
(instance EconomicCommissionForLatinAmericaAndTheCaribbean InternationalOrganization) Government.kif 3033-3033
(instance InternationalAirTransportAssociation InternationalOrganization) Transportation.kif 3090-3090
(instance InternationalCenterForSecretariatOfInvestmentDisputes InternationalOrganization) Government.kif 3038-3038
(instance InternationalCommitteeOfTheRedCross InternationalOrganization) Government.kif 3364-3364
(instance InternationalCourtOfJustice InternationalOrganization) Government.kif 3377-3377
(instance InternationalCriminalTribunalForRwanda InternationalOrganization) Government.kif 4141-4141
(instance InternationalCriminalTribunalForTheFormerYugoslavia InternationalOrganization) Government.kif 4135-4135
(instance InternationalRedCrossAndRedCrescentMovement InternationalOrganization) Government.kif 3528-3528
(instance MulitlateralInvestmentGeographicAgency InternationalOrganization) Government.kif 3048-3048
(instance StatisticalCommission InternationalOrganization) Government.kif 3050-3050
(instance UnitedNationsCompensationCommission InternationalOrganization) Government.kif 4147-4147
(instance UnitedNationsHighCommissionerForHumanRights InternationalOrganization) Government.kif 3908-3908
(instance UnitedNationsInstituteForDisarmamentResearch InternationalOrganization) Government.kif 3914-3914

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 2555-2559
(=>
    (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 2457-2465


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