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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OrganizationOfNations
OrganizationOfNations(国际组织)

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


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

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


(instance ASEANRegionalForum OrganizationOfNations) Government.kif 2805-2805 东盟区域论坛国际组织instance
(instance AfricanCaribbeanAndPacificGroupOfStates OrganizationOfNations) Government.kif 2688-2688 非洲加勒比和太平洋国家集团国际组织instance
(instance AfricanDevelopmentBank OrganizationOfNations) Government.kif 2694-2694 非洲开发银行国际组织instance
(instance AgencyForTheFrenchSpeakingCommunity OrganizationOfNations) Government.kif 2702-2702 法语社区的代理机构国际组织instance
(instance AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean OrganizationOfNations) Government.kif 2709-2709 在拉丁美洲和加勒比地区禁止核武器的机构国际组织instance
(instance AndeanCommunityOfNations OrganizationOfNations) Government.kif 2718-2718 安第斯国际社会国际组织instance
(instance AntarcticTreatyCouncil OrganizationOfNations) Government.kif 2730-2730 南极条约理事会国际组织instance
(instance ArabBankForEconomicDevelopmentInAfrica OrganizationOfNations) Government.kif 2738-2738 阿拉伯非洲经济发展银行国际组织instance
(instance ArabCooperationCouncil OrganizationOfNations) Government.kif 2746-2746 阿拉伯合作理事会国际组织instance
(instance ArabFundForEconomicAndSocialDevelopment OrganizationOfNations) Government.kif 2752-2752 阿拉伯经济和社会发展基金国际组织instance
(instance ArabLeague OrganizationOfNations) Government.kif 2759-2759 阿拉伯联盟国际组织instance
(instance ArabMaghrebUnion OrganizationOfNations) Government.kif 2770-2770 阿拉伯马格里布联盟国际组织instance
(instance ArabMonetaryFund OrganizationOfNations) Government.kif 2779-2779 阿拉伯货币基金国际组织instance
(instance AsiaPacificEconomicCooperation OrganizationOfNations) Government.kif 2785-2785 亚太经济合作国际组织instance
(instance AsianDevelopmentBank OrganizationOfNations) Government.kif 2791-2791 亚洲开发银行国际组织instance
(instance AssociationOfSoutheastAsianNations OrganizationOfNations) Government.kif 2797-2797 东南亚国家联盟国际组织instance
(instance AustraliaGroup OrganizationOfNations) Government.kif 2812-2812 澳大利亚集团国际组织instance
(instance AustraliaNewZealandUnitedStatesSecurityTreaty OrganizationOfNations) Government.kif 2817-2817 澳大利亚新西兰美国安全条约国际组织instance
(instance BankForInternationalSettlements OrganizationOfNations) Government.kif 2823-2823 国际结算银行国际组织instance
(instance BeneluxEconomicUnion OrganizationOfNations) Government.kif 2829-2829 比荷卢经济联盟国际组织instance
(instance BigSeven OrganizationOfNations) Government.kif 2838-2838 大七国际组织instance
(instance BigSix OrganizationOfNations) Government.kif 2843-2843 大六国际组织instance
(instance BlackSeaEconomicCooperationZone OrganizationOfNations) Government.kif 2849-2849 黑海经济合作区国际组织instance
(instance CaribbeanCommunityAndCommonMarket OrganizationOfNations) Government.kif 2856-2856 加勒比共同体和共同市场国际组织instance
(instance CaribbeanDevelopmentBank OrganizationOfNations) Government.kif 2863-2863 加勒比开发银行国际组织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 2472-2476

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


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


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