UnitedNations - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - UnitedNations

UnitedNations(聯合國)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3872-3872	天 26 and 月 June and 年 1945 是聯合國的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3879-3884
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 813-813
No TPTP formula. May not be expressible in strict first order.	Government.kif 3869-3869	例聯合國 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3877-3877	文化合作是聯合國的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3874-3874	經濟發展是聯合國的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3876-3876	人道主義援助是聯合國的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3873-3873	國際和平與安全是聯合國的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3875-3875	社會發展是聯合國的 organizational 目標

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3871-3871	聯合國是 "UN" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3870-3870	聯合國是 "United Nations" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3076-3076	子組織經濟和社會理事會 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 3416-3416	子組織國際重建和發展銀行 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 3430-3430	子組織國際民航組織 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 3457-3457	子組織國際法院 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 3490-3490	子組織國際發展協會 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 3515-3515	子組織國際金融公司 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 3529-3529	子組織國際農業發展基金 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 3544-3544	子組織國際勞工組織 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 3561-3561	子組織國際海事組織 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 3568-3568	子組織國際貨幣基金組織 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 3618-3618	子組織國際電信聯盟 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 3947-3947	子組織聯合國大會 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 4170-4170	子組織聯合國秘書處 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 4182-4182	子組織聯合國安理會 and 聯合國
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60062-60062
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60061-60061
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60060-60060

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