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 2492-2493
(subclass OrganizationOfNations InternationalOrganization) Government.kif 2490-2490 国际组织 是 国际组织 的 subclass

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


(instance ASEANRegionalForum OrganizationOfNations) Government.kif 2838-2838 东盟区域论坛 是 国际组织 的 instance
(instance AfricanCaribbeanAndPacificGroupOfStates OrganizationOfNations) Government.kif 2711-2711 非洲加勒比和太平洋国家集团 是 国际组织 的 instance
(instance AfricanDevelopmentBank OrganizationOfNations) Government.kif 2717-2717 非洲开发银行 是 国际组织 的 instance
(instance AgencyForTheFrenchSpeakingCommunity OrganizationOfNations) Government.kif 2725-2725 法语社区的代理机构 是 国际组织 的 instance
(instance AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean OrganizationOfNations) Government.kif 2737-2737 在拉丁美洲和加勒比地区禁止核武器的机构 是 国际组织 的 instance
(instance AndeanCommunityOfNations OrganizationOfNations) Government.kif 2746-2746 安第斯国际社会 是 国际组织 的 instance
(instance AntarcticTreatyCouncil OrganizationOfNations) Government.kif 2763-2763 南极条约理事会 是 国际组织 的 instance
(instance ArabBankForEconomicDevelopmentInAfrica OrganizationOfNations) Government.kif 2771-2771 阿拉伯非洲经济发展银行 是 国际组织 的 instance
(instance ArabCooperationCouncil OrganizationOfNations) Government.kif 2779-2779 阿拉伯合作理事会 是 国际组织 的 instance
(instance ArabFundForEconomicAndSocialDevelopment OrganizationOfNations) Government.kif 2785-2785 阿拉伯经济和社会发展基金 是 国际组织 的 instance
(instance ArabLeague OrganizationOfNations) Government.kif 2792-2792 阿拉伯联盟 是 国际组织 的 instance
(instance ArabMaghrebUnion OrganizationOfNations) Government.kif 2803-2803 阿拉伯马格里布联盟 是 国际组织 的 instance
(instance ArabMonetaryFund OrganizationOfNations) Government.kif 2812-2812 阿拉伯货币基金 是 国际组织 的 instance
(instance AsiaPacificEconomicCooperation OrganizationOfNations) Government.kif 2818-2818 亚太经济合作 是 国际组织 的 instance
(instance AsianDevelopmentBank OrganizationOfNations) Government.kif 2824-2824 亚洲开发银行 是 国际组织 的 instance
(instance AssociationOfSoutheastAsianNations OrganizationOfNations) Government.kif 2830-2830 东南亚国家联盟 是 国际组织 的 instance
(instance AustraliaGroup OrganizationOfNations) Government.kif 2845-2845 澳大利亚集团 是 国际组织 的 instance
(instance AustraliaNewZealandUnitedStatesSecurityTreaty OrganizationOfNations) Government.kif 2850-2850 澳大利亚新西兰美国安全条约 是 国际组织 的 instance
(instance BankForInternationalSettlements OrganizationOfNations) Government.kif 2856-2856 国际结算银行 是 国际组织 的 instance
(instance BeneluxEconomicUnion OrganizationOfNations) Government.kif 2862-2862 比荷卢经济联盟 是 国际组织 的 instance
(instance BigSeven OrganizationOfNations) Government.kif 2871-2871 大七 是 国际组织 的 instance
(instance BigSix OrganizationOfNations) Government.kif 2876-2876 大六 是 国际组织 的 instance
(instance BlackSeaEconomicCooperationZone OrganizationOfNations) Government.kif 2882-2882 黑海经济合作区 是 国际组织 的 instance
(instance CaribbeanCommunityAndCommonMarket OrganizationOfNations) Government.kif 2889-2889 加勒比共同体和共同市场 是 国际组织 的 instance
(instance CaribbeanDevelopmentBank OrganizationOfNations) Government.kif 2896-2896 加勒比开发银行 是 国际组织 的 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 2495-2499

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


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


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