TreeView Knowledge Base Browser - UnitedNationsSecurityCouncil

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4180-4180	天 26 and 月 June and 年 1945 是聯合國安理會的成立 date
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5687-5687
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5821-5821
No TPTP formula. May not be expressible in strict first order.	Government.kif 4178-4178	例聯合國安理會 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4181-4181	國際和平與安全是聯合國安理會的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 4182-4182	子組織聯合國安理會 and 聯合國

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4179-4179	聯合國安理會是 "United Nations Security Council" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 4184-4184	子組織盧旺達國際刑事法庭 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 4183-4183	子組織前南斯拉夫問題國際刑事法庭 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 4185-4185	子組織聯合國賠償委員會 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 4186-4186	子組織聯合國脫離接觸觀察員部隊 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 4187-4187	子組織聯合國在科索沃的臨時行政當局 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 4188-4188	子組織聯合國駐黎巴嫩臨時部隊 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 4189-4189	子組織聯合國伊拉克科威特邊界劃界委員會 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 4190-4190	子組織聯合國伊拉克科威特觀察團 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 4191-4191	子組織聯合國駐印度和巴基斯坦軍事觀察組 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 4192-4192	子組織聯合國在西撒哈拉舉行全民投票的使命 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 4193-4193	子組織聯合國在波黑和黑塞哥維那的使命 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 4194-4194	子組織聯合國在埃塞俄比亞和厄立特里亞的使命 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 4195-4195	子組織聯合國在塞拉利昂的使命 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 4196-4196	子組織聯合國普雷斯卡觀察員代表團 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 4197-4197	子組織聯合國監測和核查委員會 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 4198-4198	子組織聯合國駐格魯吉亞觀察團 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 4199-4199	子組織聯合國組織在剛果民主共和國的使命 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 4200-4200	子組織聯合國塞浦路斯維和部隊 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 4201-4201	子組織聯合國東帝汶過渡行政當局 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 4202-4202	子組織聯合國停戰監督組織 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60296-60296
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60295-60295
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60294-60294

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

KB Term:			Term intersection

English Word: