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 2473-2475
(subclass InternationalOrganization Organization) Government.kif 2471-2471 InternationalOrganization は 組織 の subclass では

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


(instance CommissionForSocialDevelopment InternationalOrganization) Government.kif 3039-3039 CommissionForSocialDevelopment は InternationalOrganization の instance では
(instance CommissionOnCrimePreventionAndCriminalJustice InternationalOrganization) Government.kif 3041-3041 CommissionOnCrimePreventionAndCriminalJustice は InternationalOrganization の instance では
(instance CommissionOnHumanRights InternationalOrganization) Government.kif 3043-3043 CommissionOnHumanRights は InternationalOrganization の instance では
(instance CommissionOnNarcoticsDrugs InternationalOrganization) Government.kif 3045-3045 CommissionOnNarcoticsDrugs は InternationalOrganization の instance では
(instance CommissionOnPopulationAndDevelopment InternationalOrganization) Government.kif 3047-3047 CommissionOnPopulationAndDevelopment は InternationalOrganization の instance では
(instance CommissionOnScienceAndTechnologyForDevelopment InternationalOrganization) Government.kif 3049-3049 CommissionOnScienceAndTechnologyForDevelopment は InternationalOrganization の instance では
(instance CommissionOnSustainableDevelopment InternationalOrganization) Government.kif 3051-3051 CommissionOnSustainableDevelopment は InternationalOrganization の instance では
(instance CommissionOnTheStatusOfWomen InternationalOrganization) Government.kif 3053-3053 CommissionOnTheStatusOfWomen は InternationalOrganization の instance では
(instance EconomicAndSocialCommissionForAsiaAndThePacific InternationalOrganization) Government.kif 3055-3055 EconomicAndSocialCommissionForAsiaAndThePacific は InternationalOrganization の instance では
(instance EconomicAndSocialCommissionForWesternAsia InternationalOrganization) Government.kif 3057-3057 EconomicAndSocialCommissionForWesternAsia は InternationalOrganization の instance では
(instance EconomicCommissionForAfrica InternationalOrganization) Government.kif 3059-3059 EconomicCommissionForAfrica は InternationalOrganization の instance では
(instance EconomicCommissionForEurope InternationalOrganization) Government.kif 3061-3061 EconomicCommissionForEurope は InternationalOrganization の instance では
(instance EconomicCommissionForLatinAmericaAndTheCaribbean InternationalOrganization) Government.kif 3063-3063 EconomicCommissionForLatinAmericaAndTheCaribbean は InternationalOrganization の instance では
(instance InternationalAirTransportAssociation InternationalOrganization) Transportation.kif 4018-4018 InternationalAirTransportAssociation は InternationalOrganization の instance では
(instance InternationalCenterForSecretariatOfInvestmentDisputes InternationalOrganization) Government.kif 3068-3068 InternationalCenterForSecretariatOfInvestmentDisputes は InternationalOrganization の instance では
(instance InternationalCommitteeOfTheRedCross InternationalOrganization) Government.kif 3394-3394 InternationalCommitteeOfTheRedCross は InternationalOrganization の instance では
(instance InternationalCourtOfJustice InternationalOrganization) Government.kif 3407-3407 InternationalCourtOfJustice は InternationalOrganization の instance では
(instance InternationalCriminalTribunalForRwanda InternationalOrganization) Government.kif 4171-4171 InternationalCriminalTribunalForRwanda は InternationalOrganization の instance では
(instance InternationalCriminalTribunalForTheFormerYugoslavia InternationalOrganization) Government.kif 4165-4165 InternationalCriminalTribunalForTheFormerYugoslavia は InternationalOrganization の instance では
(instance InternationalRedCrossAndRedCrescentMovement InternationalOrganization) Government.kif 3558-3558 InternationalRedCrossAndRedCrescentMovement は InternationalOrganization の instance では
(instance MulitlateralInvestmentGeographicAgency InternationalOrganization) Government.kif 3078-3078 MulitlateralInvestmentGeographicAgency は InternationalOrganization の instance では
(instance StatisticalCommission InternationalOrganization) Government.kif 3080-3080 StatisticalCommission は InternationalOrganization の instance では
(instance UnitedNationsCompensationCommission InternationalOrganization) Government.kif 4177-4177 UnitedNationsCompensationCommission は InternationalOrganization の instance では
(instance UnitedNationsHighCommissionerForHumanRights InternationalOrganization) Government.kif 3938-3938 UnitedNationsHighCommissionerForHumanRights は InternationalOrganization の instance では
(instance UnitedNationsInstituteForDisarmamentResearch InternationalOrganization) Government.kif 3944-3944 UnitedNationsInstituteForDisarmamentResearch は InternationalOrganization の instance では

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 2575-2579
(=>
    (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 2477-2485


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