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 2476-2478
(subclass InternationalOrganization Organization) Government.kif 2474-2474 子類 國際組織 and Organization

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


(instance CommissionForSocialDevelopment InternationalOrganization) Government.kif 3042-3042 例 社會發展委員會 and 國際組織
(instance CommissionOnCrimePreventionAndCriminalJustice InternationalOrganization) Government.kif 3044-3044 例 預防犯罪和刑事司法委員會 and 國際組織
(instance CommissionOnHumanRights InternationalOrganization) Government.kif 3046-3046 例 人權委員會 and 國際組織
(instance CommissionOnNarcoticsDrugs InternationalOrganization) Government.kif 3048-3048 例 麻醉藥品委員會 and 國際組織
(instance CommissionOnPopulationAndDevelopment InternationalOrganization) Government.kif 3050-3050 例 人口與發展委員會 and 國際組織
(instance CommissionOnScienceAndTechnologyForDevelopment InternationalOrganization) Government.kif 3052-3052 例 科學和技術促進發展委員會 and 國際組織
(instance CommissionOnSustainableDevelopment InternationalOrganization) Government.kif 3054-3054 例 可持續發展委員會 and 國際組織
(instance CommissionOnTheStatusOfWomen InternationalOrganization) Government.kif 3056-3056 例 婦女地位委員會 and 國際組織
(instance EconomicAndSocialCommissionForAsiaAndThePacific InternationalOrganization) Government.kif 3058-3058 例 亞洲及太平洋經濟社會委員會 and 國際組織
(instance EconomicAndSocialCommissionForWesternAsia InternationalOrganization) Government.kif 3060-3060 例 西亞經濟社會委員會 and 國際組織
(instance EconomicCommissionForAfrica InternationalOrganization) Government.kif 3062-3062 例 非洲經濟委員會 and 國際組織
(instance EconomicCommissionForEurope InternationalOrganization) Government.kif 3064-3064 例 歐洲經濟委員會 and 國際組織
(instance EconomicCommissionForLatinAmericaAndTheCaribbean InternationalOrganization) Government.kif 3066-3066 例 拉丁美洲和加勒比經濟委員會 and 國際組織
(instance InternationalAirTransportAssociation InternationalOrganization) Transportation.kif 3164-3164 例 InternationalAirTransportAssociation and 國際組織
(instance InternationalCenterForSecretariatOfInvestmentDisputes InternationalOrganization) Government.kif 3071-3071 例 國際投資爭端秘書處 and 國際組織
(instance InternationalCommitteeOfTheRedCross InternationalOrganization) Government.kif 3397-3397 例 紅十字國際委員會 and 國際組織
(instance InternationalCourtOfJustice InternationalOrganization) Government.kif 3410-3410 例 國際法院 and 國際組織
(instance InternationalCriminalTribunalForRwanda InternationalOrganization) Government.kif 4174-4174 例 盧旺達國際刑事法庭 and 國際組織
(instance InternationalCriminalTribunalForTheFormerYugoslavia InternationalOrganization) Government.kif 4168-4168 例 前南斯拉夫問題國際刑事法庭 and 國際組織
(instance InternationalRedCrossAndRedCrescentMovement InternationalOrganization) Government.kif 3561-3561 例 國際紅十字和紅新月運動 and 國際組織
(instance MulitlateralInvestmentGeographicAgency InternationalOrganization) Government.kif 3081-3081 例 多邊投資地理機構 and 國際組織
(instance StatisticalCommission InternationalOrganization) Government.kif 3083-3083 例 統計委員會 and 國際組織
(instance UnitedNationsCompensationCommission InternationalOrganization) Government.kif 4180-4180 例 聯合國賠償委員會 and 國際組織
(instance UnitedNationsHighCommissionerForHumanRights InternationalOrganization) Government.kif 3941-3941 例 聯合國人權事務高級專員 and 國際組織
(instance UnitedNationsInstituteForDisarmamentResearch InternationalOrganization) Government.kif 3947-3947 例 聯合國裁軍研究所 and 國際組織

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 2578-2582
(=>
    (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 2480-2488


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