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 子類 國際組織 and 國際組織

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


(instance ASEANRegionalForum OrganizationOfNations) Government.kif 2838-2838 例 東盟區域論壇 and 國際組織
(instance AfricanCaribbeanAndPacificGroupOfStates OrganizationOfNations) Government.kif 2711-2711 例 非洲加勒比和太平洋國家集團 and 國際組織
(instance AfricanDevelopmentBank OrganizationOfNations) Government.kif 2717-2717 例 非洲開發銀行 and 國際組織
(instance AgencyForTheFrenchSpeakingCommunity OrganizationOfNations) Government.kif 2725-2725 例 法語社區的代理機構 and 國際組織
(instance AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean OrganizationOfNations) Government.kif 2737-2737 例 在拉丁美洲和加勒比地區禁止核武器的機構 and 國際組織
(instance AndeanCommunityOfNations OrganizationOfNations) Government.kif 2746-2746 例 安第斯國際社會 and 國際組織
(instance AntarcticTreatyCouncil OrganizationOfNations) Government.kif 2763-2763 例 南極條約理事會 and 國際組織
(instance ArabBankForEconomicDevelopmentInAfrica OrganizationOfNations) Government.kif 2771-2771 例 阿拉伯非洲經濟發展銀行 and 國際組織
(instance ArabCooperationCouncil OrganizationOfNations) Government.kif 2779-2779 例 阿拉伯合作理事會 and 國際組織
(instance ArabFundForEconomicAndSocialDevelopment OrganizationOfNations) Government.kif 2785-2785 例 阿拉伯經濟和社會發展基金 and 國際組織
(instance ArabLeague OrganizationOfNations) Government.kif 2792-2792 例 阿拉伯聯盟 and 國際組織
(instance ArabMaghrebUnion OrganizationOfNations) Government.kif 2803-2803 例 阿拉伯馬格里布聯盟 and 國際組織
(instance ArabMonetaryFund OrganizationOfNations) Government.kif 2812-2812 例 阿拉伯貨幣基金 and 國際組織
(instance AsiaPacificEconomicCooperation OrganizationOfNations) Government.kif 2818-2818 例 亞太經濟合作 and 國際組織
(instance AsianDevelopmentBank OrganizationOfNations) Government.kif 2824-2824 例 亞洲開發銀行 and 國際組織
(instance AssociationOfSoutheastAsianNations OrganizationOfNations) Government.kif 2830-2830 例 東南亞國家聯盟 and 國際組織
(instance AustraliaGroup OrganizationOfNations) Government.kif 2845-2845 例 澳大利亞集團 and 國際組織
(instance AustraliaNewZealandUnitedStatesSecurityTreaty OrganizationOfNations) Government.kif 2850-2850 例 澳大利亞新西蘭美國安全條約 and 國際組織
(instance BankForInternationalSettlements OrganizationOfNations) Government.kif 2856-2856 例 國際結算銀行 and 國際組織
(instance BeneluxEconomicUnion OrganizationOfNations) Government.kif 2862-2862 例 比荷盧經濟聯盟 and 國際組織
(instance BigSeven OrganizationOfNations) Government.kif 2871-2871 例 大七 and 國際組織
(instance BigSix OrganizationOfNations) Government.kif 2876-2876 例 大六 and 國際組織
(instance BlackSeaEconomicCooperationZone OrganizationOfNations) Government.kif 2882-2882 例 黑海經濟合作區 and 國際組織
(instance CaribbeanCommunityAndCommonMarket OrganizationOfNations) Government.kif 2889-2889 例 加勒比共同體和共同市場 and 國際組織
(instance CaribbeanDevelopmentBank OrganizationOfNations) Government.kif 2896-2896 例 加勒比開發銀行 and 國際組織

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