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
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2492-2493
No TPTP formula. May not be expressible in strict first order. Government.kif 2490-2490 子類 國際組織 and 國際組織

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2838-2838 東盟區域論壇 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2711-2711 非洲加勒比和太平洋國家集團 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2717-2717 非洲開發銀行 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2725-2725 法語社區的代理機構 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2737-2737 在拉丁美洲和加勒比地區禁止核武器的機構 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2746-2746 安第斯國際社會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2763-2763 南極條約理事會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2771-2771 阿拉伯非洲經濟發展銀行 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2779-2779 阿拉伯合作理事會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2785-2785 阿拉伯經濟和社會發展基金 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2792-2792 阿拉伯聯盟 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2803-2803 阿拉伯馬格里布聯盟 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2812-2812 阿拉伯貨幣基金 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2818-2818 亞太經濟合作 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2824-2824 亞洲開發銀行 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2830-2830 東南亞國家聯盟 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2845-2845 澳大利亞集團 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2850-2850 澳大利亞新西蘭美國安全條約 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2856-2856 國際結算銀行 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2862-2862 比荷盧經濟聯盟 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2871-2871 大七 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2876-2876 大六 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2882-2882 黑海經濟合作區 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2889-2889 加勒比共同體和共同市場 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2896-2896 加勒比開發銀行 and 國際組織

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2495-2499

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


No TPTP formula. May not be expressible in strict first order. 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