Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedNationsGeneralAssembly
UnitedNationsGeneralAssembly(聯合國大會)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 3940-3940 26 and June and 1945 是 聯合國大會 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3943-3945
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5666-5666
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5811-5811
No TPTP formula. May not be expressible in strict first order. Government.kif 3937-3937 聯合國大會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3941-3941 政治合作聯合國大會organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3947-3947 子組織 聯合國大會 and 聯合國

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3938-3938 聯合國大會 是 "United Nations General Assembly" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 3939-3939 聯合國大會 是 "UN General Assembly" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Government.kif 3960-3960 子組織 提高婦女地位國際研究和培訓機構 and 聯合國大會
No TPTP formula. May not be expressible in strict first order. Government.kif 3966-3966 子組織 聯合國人類住區中心 and 聯合國大會
No TPTP formula. May not be expressible in strict first order. Government.kif 3948-3948 子組織 聯合國兒童基金會 and 聯合國大會
No TPTP formula. May not be expressible in strict first order. Government.kif 3949-3949 子組織 聯合國貿易與發展會議 and 聯合國大會
No TPTP formula. May not be expressible in strict first order. Government.kif 3950-3950 子組織 聯合國發展計劃 and 聯合國大會
No TPTP formula. May not be expressible in strict first order. Government.kif 3951-3951 子組織 聯合國環境計劃 and 聯合國大會
No TPTP formula. May not be expressible in strict first order. Government.kif 3976-3976 子組織 聯合國人權事務高級專員 and 聯合國大會
No TPTP formula. May not be expressible in strict first order. Government.kif 3952-3952 子組織 聯合國難民署 and 聯合國大會
No TPTP formula. May not be expressible in strict first order. Government.kif 3982-3982 子組織 聯合國裁軍研究所 and 聯合國大會
No TPTP formula. May not be expressible in strict first order. Government.kif 3953-3953 子組織 聯合國訓練研究所 and 聯合國大會
No TPTP formula. May not be expressible in strict first order. Government.kif 3988-3988 子組織 聯合國區域間犯罪和司法研究所 and 聯合國大會
No TPTP formula. May not be expressible in strict first order. Government.kif 4005-4005 子組織 聯合國項目服務辦公室 and 聯合國大會
No TPTP formula. May not be expressible in strict first order. Government.kif 3954-3954 子組織 聯合國人口基金 and 聯合國大會
No TPTP formula. May not be expressible in strict first order. Government.kif 3955-3955 子組織 聯合國近東巴勒斯坦難民救濟和工作機構 and 聯合國大會
No TPTP formula. May not be expressible in strict first order. Government.kif 3956-3956 子組織 聯合國社會發展研究所 and 聯合國大會
No TPTP formula. May not be expressible in strict first order. Government.kif 4011-4011 子組織 聯合國系統職員學院 and 聯合國大會
No TPTP formula. May not be expressible in strict first order. Government.kif 3957-3957 子組織 聯合國大學 and 聯合國大會
No TPTP formula. May not be expressible in strict first order. Government.kif 3958-3958 子組織 世界糧食計劃 and 聯合國大會
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60122-60122
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60121-60121
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60120-60120


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