No TPTP formula. May not be expressible in strict first order.	Government.kif 3114-3114	子組織 國際貨幣基金組織 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3115-3115	子組織 國際電信聯盟 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3116-3116	子組織 多邊投資地理機構 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3118-3118	子組織 統計委員會 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 3121-3121	子組織 聯合國工業發展組織 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3122-3122	子組織 全球郵政聯盟 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3128-3128	子組織 世界糧食計劃 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3123-3123	子組織 世界保健組織 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3124-3124	子組織 世界知識產權組織 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3125-3125	子組織 世界氣象組織 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3126-3126	子組織 世界旅遊組織 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3127-3127	子組織 世貿組織 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21096-21096
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21095-21095
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21094-21094

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