No TPTP formula. May not be expressible in strict first order.	Government.kif 4227-4227	例 聯合國在科索沃的臨時行政當局 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3989-3989	例 聯合國區域間犯罪和司法研究所 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4229-4229	例 聯合國伊拉克科威特邊界劃界委員會 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4006-4006	例 聯合國項目服務辦公室 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4153-4153	例 聯合國社會發展研究所 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4166-4166	例 聯合國秘書處 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4260-4260	例 聯合國大學 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 2526-2526	子類 國際組織 and 國際組織
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30655-30655
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30654-30654
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30653-30653

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