No TPTP formula. May not be expressible in strict first order.	Government.kif 3970-3970	"UNCHS" 是對於 聯合國人類住區中心 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 4109-4109	"UNSCOM" 是對於 聯合國監測和核查委員會 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3993-3993	"UNSDRI" 是對於 聯合國區域間犯罪和司法研究所 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3992-3992	"United Nations Social Defense Research Institute" 是對於 聯合國區域間犯罪和司法研究所 的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 4108-4108	"United Nations Special Commission for the Elimination of Iraqi Weapons of Mass Destruction" 是對於 聯合國監測和核查委員會 的 former name

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