No TPTP formula. May not be expressible in strict first order.	Government.kif 4801-4801	子組織 美國海關和邊境保護局 and 國土安全部
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1283-1283	子組織 USFoodAndDrugAdministration and 政府 美國
No TPTP formula. May not be expressible in strict first order.	Government.kif 2391-2391	子組織 美國國務院 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 4185-4185	子組織 聯合國賠償委員會 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 4186-4186	子組織 聯合國脫離接觸觀察員部隊 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3120-3120	子組織 聯合國教育科學文化組織 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 3947-3947	子組織 聯合國大會 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 3121-3121	子組織 聯合國工業發展組織 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 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 3988-3988	子組織 聯合國區域間犯罪和司法研究所 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 聯合國安理會
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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