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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OrganizationOfNations

Sigma KEE - OrganizationOfNations
OrganizationOfNations(国际组织)

appearance as argument number 1
-------------------------


(documentation OrganizationOfNations EnglishLanguage "This is the class of Organizations whose members are Nations.") Government.kif 2528-2529
(subclass OrganizationOfNations InternationalOrganization) Government.kif 2526-2526 国际组织国际组织subclass

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


(instance ASEANRegionalForum OrganizationOfNations) Government.kif 2874-2874 东盟区域论坛国际组织instance
(instance AfricanCaribbeanAndPacificGroupOfStates OrganizationOfNations) Government.kif 2747-2747 非洲加勒比和太平洋国家集团国际组织instance
(instance AfricanDevelopmentBank OrganizationOfNations) Government.kif 2753-2753 非洲开发银行国际组织instance
(instance AgencyForTheFrenchSpeakingCommunity OrganizationOfNations) Government.kif 2761-2761 法语社区的代理机构国际组织instance
(instance AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean OrganizationOfNations) Government.kif 2773-2773 在拉丁美洲和加勒比地区禁止核武器的机构国际组织instance
(instance AndeanCommunityOfNations OrganizationOfNations) Government.kif 2782-2782 安第斯国际社会国际组织instance
(instance AntarcticTreatyCouncil OrganizationOfNations) Government.kif 2799-2799 南极条约理事会国际组织instance
(instance ArabBankForEconomicDevelopmentInAfrica OrganizationOfNations) Government.kif 2807-2807 阿拉伯非洲经济发展银行国际组织instance
(instance ArabCooperationCouncil OrganizationOfNations) Government.kif 2815-2815 阿拉伯合作理事会国际组织instance
(instance ArabFundForEconomicAndSocialDevelopment OrganizationOfNations) Government.kif 2821-2821 阿拉伯经济和社会发展基金国际组织instance
(instance ArabLeague OrganizationOfNations) Government.kif 2828-2828 阿拉伯联盟国际组织instance
(instance ArabMaghrebUnion OrganizationOfNations) Government.kif 2839-2839 阿拉伯马格里布联盟国际组织instance
(instance ArabMonetaryFund OrganizationOfNations) Government.kif 2848-2848 阿拉伯货币基金国际组织instance
(instance AsiaPacificEconomicCooperation OrganizationOfNations) Government.kif 2854-2854 亚太经济合作国际组织instance
(instance AsianDevelopmentBank OrganizationOfNations) Government.kif 2860-2860 亚洲开发银行国际组织instance
(instance AssociationOfSoutheastAsianNations OrganizationOfNations) Government.kif 2866-2866 东南亚国家联盟国际组织instance
(instance AustraliaGroup OrganizationOfNations) Government.kif 2881-2881 澳大利亚集团国际组织instance
(instance AustraliaNewZealandUnitedStatesSecurityTreaty OrganizationOfNations) Government.kif 2886-2886 澳大利亚新西兰美国安全条约国际组织instance
(instance BankForInternationalSettlements OrganizationOfNations) Government.kif 2892-2892 国际结算银行国际组织instance
(instance BeneluxEconomicUnion OrganizationOfNations) Government.kif 2898-2898 比荷卢经济联盟国际组织instance
(instance BigSeven OrganizationOfNations) Government.kif 2907-2907 大七国际组织instance
(instance BigSix OrganizationOfNations) Government.kif 2912-2912 大六国际组织instance
(instance BlackSeaEconomicCooperationZone OrganizationOfNations) Government.kif 2918-2918 黑海经济合作区国际组织instance
(instance CaribbeanCommunityAndCommonMarket OrganizationOfNations) Government.kif 2925-2925 加勒比共同体和共同市场国际组织instance
(instance CaribbeanDevelopmentBank OrganizationOfNations) Government.kif 2932-2932 加勒比开发银行国际组织instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (instance ?ORG OrganizationOfNations)
        (member ?MEM ?ORG))
    (instance ?MEM Nation))
Government.kif 2531-2535

consequent
-------------------------


(=>
    (and
        (instance ?AGR InternationalAgreement)
        (instance
            (AgreementOrganizationFn ?AGR) Organization))
    (instance
        (AgreementOrganizationFn ?AGR) OrganizationOfNations))
Geography.kif 3063-3067


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