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 2512-2514
(subclass InternationalOrganization Organization) Government.kif 2510-2510 InternationalOrganization ist eine teilkategorie von Organization

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


(instance CommissionForSocialDevelopment InternationalOrganization) Government.kif 3078-3078 CommissionForSocialDevelopment ist ein fall von InternationalOrganization %n{nicht}
(instance CommissionOnCrimePreventionAndCriminalJustice InternationalOrganization) Government.kif 3080-3080 CommissionOnCrimePreventionAndCriminalJustice ist ein fall von InternationalOrganization %n{nicht}
(instance CommissionOnHumanRights InternationalOrganization) Government.kif 3082-3082 CommissionOnHumanRights ist ein fall von InternationalOrganization %n{nicht}
(instance CommissionOnNarcoticsDrugs InternationalOrganization) Government.kif 3084-3084 CommissionOnNarcoticsDrugs ist ein fall von InternationalOrganization %n{nicht}
(instance CommissionOnPopulationAndDevelopment InternationalOrganization) Government.kif 3086-3086 CommissionOnPopulationAndDevelopment ist ein fall von InternationalOrganization %n{nicht}
(instance CommissionOnScienceAndTechnologyForDevelopment InternationalOrganization) Government.kif 3088-3088 CommissionOnScienceAndTechnologyForDevelopment ist ein fall von InternationalOrganization %n{nicht}
(instance CommissionOnSustainableDevelopment InternationalOrganization) Government.kif 3090-3090 CommissionOnSustainableDevelopment ist ein fall von InternationalOrganization %n{nicht}
(instance CommissionOnTheStatusOfWomen InternationalOrganization) Government.kif 3092-3092 CommissionOnTheStatusOfWomen ist ein fall von InternationalOrganization %n{nicht}
(instance EconomicAndSocialCommissionForAsiaAndThePacific InternationalOrganization) Government.kif 3094-3094 EconomicAndSocialCommissionForAsiaAndThePacific ist ein fall von InternationalOrganization %n{nicht}
(instance EconomicAndSocialCommissionForWesternAsia InternationalOrganization) Government.kif 3096-3096 EconomicAndSocialCommissionForWesternAsia ist ein fall von InternationalOrganization %n{nicht}
(instance EconomicCommissionForAfrica InternationalOrganization) Government.kif 3098-3098 EconomicCommissionForAfrica ist ein fall von InternationalOrganization %n{nicht}
(instance EconomicCommissionForEurope InternationalOrganization) Government.kif 3100-3100 EconomicCommissionForEurope ist ein fall von InternationalOrganization %n{nicht}
(instance EconomicCommissionForLatinAmericaAndTheCaribbean InternationalOrganization) Government.kif 3102-3102 EconomicCommissionForLatinAmericaAndTheCaribbean ist ein fall von InternationalOrganization %n{nicht}
(instance InternationalAirTransportAssociation InternationalOrganization) Transportation.kif 3112-3112 InternationalAirTransportAssociation ist ein fall von InternationalOrganization %n{nicht}
(instance InternationalCenterForSecretariatOfInvestmentDisputes InternationalOrganization) Government.kif 3107-3107 InternationalCenterForSecretariatOfInvestmentDisputes ist ein fall von InternationalOrganization %n{nicht}
(instance InternationalCommitteeOfTheRedCross InternationalOrganization) Government.kif 3433-3433 InternationalCommitteeOfTheRedCross ist ein fall von InternationalOrganization %n{nicht}
(instance InternationalCourtOfJustice InternationalOrganization) Government.kif 3446-3446 InternationalCourtOfJustice ist ein fall von InternationalOrganization %n{nicht}
(instance InternationalCriminalTribunalForRwanda InternationalOrganization) Government.kif 4210-4210 InternationalCriminalTribunalForRwanda ist ein fall von InternationalOrganization %n{nicht}
(instance InternationalCriminalTribunalForTheFormerYugoslavia InternationalOrganization) Government.kif 4204-4204 InternationalCriminalTribunalForTheFormerYugoslavia ist ein fall von InternationalOrganization %n{nicht}
(instance InternationalRedCrossAndRedCrescentMovement InternationalOrganization) Government.kif 3597-3597 InternationalRedCrossAndRedCrescentMovement ist ein fall von InternationalOrganization %n{nicht}
(instance MulitlateralInvestmentGeographicAgency InternationalOrganization) Government.kif 3117-3117 MulitlateralInvestmentGeographicAgency ist ein fall von InternationalOrganization %n{nicht}
(instance StatisticalCommission InternationalOrganization) Government.kif 3119-3119 StatisticalCommission ist ein fall von InternationalOrganization %n{nicht}
(instance UnitedNationsCompensationCommission InternationalOrganization) Government.kif 4216-4216 UnitedNationsCompensationCommission ist ein fall von InternationalOrganization %n{nicht}
(instance UnitedNationsHighCommissionerForHumanRights InternationalOrganization) Government.kif 3977-3977 UnitedNationsHighCommissionerForHumanRights ist ein fall von InternationalOrganization %n{nicht}
(instance UnitedNationsInstituteForDisarmamentResearch InternationalOrganization) Government.kif 3983-3983 UnitedNationsInstituteForDisarmamentResearch ist ein fall von InternationalOrganization %n{nicht}

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 2614-2618
(=>
    (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 2516-2524


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