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 subclass InternationalOrganization and Organization

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


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

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners