Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternationalOrganization

 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 国际组织 是 机构 的 subclass

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


(instance CommissionForSocialDevelopment InternationalOrganization) Government.kif 3078-3078 社会发展委员会 是 国际组织 的 instance
(instance CommissionOnCrimePreventionAndCriminalJustice InternationalOrganization) Government.kif 3080-3080 预防犯罪和刑事司法委员会 是 国际组织 的 instance
(instance CommissionOnHumanRights InternationalOrganization) Government.kif 3082-3082 人权委员会 是 国际组织 的 instance
(instance CommissionOnNarcoticsDrugs InternationalOrganization) Government.kif 3084-3084 麻醉药品委员会 是 国际组织 的 instance
(instance CommissionOnPopulationAndDevelopment InternationalOrganization) Government.kif 3086-3086 人口与发展委员会 是 国际组织 的 instance
(instance CommissionOnScienceAndTechnologyForDevelopment InternationalOrganization) Government.kif 3088-3088 科学和技术促进发展委员会 是 国际组织 的 instance
(instance CommissionOnSustainableDevelopment InternationalOrganization) Government.kif 3090-3090 可持续发展委员会 是 国际组织 的 instance
(instance CommissionOnTheStatusOfWomen InternationalOrganization) Government.kif 3092-3092 妇女地位委员会 是 国际组织 的 instance
(instance EconomicAndSocialCommissionForAsiaAndThePacific InternationalOrganization) Government.kif 3094-3094 亚洲及太平洋经济社会委员会 是 国际组织 的 instance
(instance EconomicAndSocialCommissionForWesternAsia InternationalOrganization) Government.kif 3096-3096 西亚经济社会委员会 是 国际组织 的 instance
(instance EconomicCommissionForAfrica InternationalOrganization) Government.kif 3098-3098 非洲经济委员会 是 国际组织 的 instance
(instance EconomicCommissionForEurope InternationalOrganization) Government.kif 3100-3100 欧洲经济委员会 是 国际组织 的 instance
(instance EconomicCommissionForLatinAmericaAndTheCaribbean InternationalOrganization) Government.kif 3102-3102 拉丁美洲和加勒比经济委员会 是 国际组织 的 instance
(instance InternationalAirTransportAssociation InternationalOrganization) Transportation.kif 3112-3112 InternationalAirTransportAssociation 是 国际组织 的 instance
(instance InternationalCenterForSecretariatOfInvestmentDisputes InternationalOrganization) Government.kif 3107-3107 国际投资争端秘书处 是 国际组织 的 instance
(instance InternationalCommitteeOfTheRedCross InternationalOrganization) Government.kif 3433-3433 红十字国际委员会 是 国际组织 的 instance
(instance InternationalCourtOfJustice InternationalOrganization) Government.kif 3446-3446 国际法院 是 国际组织 的 instance
(instance InternationalCriminalTribunalForRwanda InternationalOrganization) Government.kif 4210-4210 卢旺达国际刑事法庭 是 国际组织 的 instance
(instance InternationalCriminalTribunalForTheFormerYugoslavia InternationalOrganization) Government.kif 4204-4204 前南斯拉夫问题国际刑事法庭 是 国际组织 的 instance
(instance InternationalRedCrossAndRedCrescentMovement InternationalOrganization) Government.kif 3597-3597 国际红十字和红新月运动 是 国际组织 的 instance
(instance MulitlateralInvestmentGeographicAgency InternationalOrganization) Government.kif 3117-3117 多边投资地理机构 是 国际组织 的 instance
(instance StatisticalCommission InternationalOrganization) Government.kif 3119-3119 统计委员会 是 国际组织 的 instance
(instance UnitedNationsCompensationCommission InternationalOrganization) Government.kif 4216-4216 联合国赔偿委员会 是 国际组织 的 instance
(instance UnitedNationsHighCommissionerForHumanRights InternationalOrganization) Government.kif 3977-3977 联合国人权事务高级专员 是 国际组织 的 instance
(instance UnitedNationsInstituteForDisarmamentResearch InternationalOrganization) Government.kif 3983-3983 联合国裁军研究所 是 国际组织 的 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 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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