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 2485-2487
(subclass InternationalOrganization Organization) Government.kif 2483-2483

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


(instance CommissionForSocialDevelopment InternationalOrganization) Government.kif 3041-3041
(instance CommissionOnCrimePreventionAndCriminalJustice InternationalOrganization) Government.kif 3043-3043
(instance CommissionOnHumanRights InternationalOrganization) Government.kif 3045-3045
(instance CommissionOnNarcoticsDrugs InternationalOrganization) Government.kif 3047-3047
(instance CommissionOnPopulationAndDevelopment InternationalOrganization) Government.kif 3049-3049
(instance CommissionOnScienceAndTechnologyForDevelopment InternationalOrganization) Government.kif 3051-3051
(instance CommissionOnSustainableDevelopment InternationalOrganization) Government.kif 3053-3053
(instance CommissionOnTheStatusOfWomen InternationalOrganization) Government.kif 3055-3055
(instance EconomicAndSocialCommissionForAsiaAndThePacific InternationalOrganization) Government.kif 3057-3057
(instance EconomicAndSocialCommissionForWesternAsia InternationalOrganization) Government.kif 3059-3059
(instance EconomicCommissionForAfrica InternationalOrganization) Government.kif 3061-3061
(instance EconomicCommissionForEurope InternationalOrganization) Government.kif 3063-3063
(instance EconomicCommissionForLatinAmericaAndTheCaribbean InternationalOrganization) Government.kif 3065-3065
(instance InternationalAirTransportAssociation InternationalOrganization) Transportation.kif 3119-3119
(instance InternationalCenterForSecretariatOfInvestmentDisputes InternationalOrganization) Government.kif 3070-3070
(instance InternationalCommitteeOfTheRedCross InternationalOrganization) Government.kif 3396-3396
(instance InternationalCourtOfJustice InternationalOrganization) Government.kif 3409-3409
(instance InternationalCriminalTribunalForRwanda InternationalOrganization) Government.kif 4173-4173
(instance InternationalCriminalTribunalForTheFormerYugoslavia InternationalOrganization) Government.kif 4167-4167
(instance InternationalRedCrossAndRedCrescentMovement InternationalOrganization) Government.kif 3560-3560
(instance MulitlateralInvestmentGeographicAgency InternationalOrganization) Government.kif 3080-3080
(instance StatisticalCommission InternationalOrganization) Government.kif 3082-3082
(instance UnitedNationsCompensationCommission InternationalOrganization) Government.kif 4179-4179
(instance UnitedNationsHighCommissionerForHumanRights InternationalOrganization) Government.kif 3940-3940
(instance UnitedNationsInstituteForDisarmamentResearch InternationalOrganization) Government.kif 3946-3946

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 2587-2591
(=>
    (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 2489-2497


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