| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2512-2514 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2510-2510 | 子類 國際組織 and Organization |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3078-3078 | 例 社會發展委員會 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3080-3080 | 例 預防犯罪和刑事司法委員會 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3082-3082 | 例 人權委員會 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3084-3084 | 例 麻醉藥品委員會 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3086-3086 | 例 人口與發展委員會 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3088-3088 | 例 科學和技術促進發展委員會 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3090-3090 | 例 可持續發展委員會 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3092-3092 | 例 婦女地位委員會 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3094-3094 | 例 亞洲及太平洋經濟社會委員會 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3096-3096 | 例 西亞經濟社會委員會 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3098-3098 | 例 非洲經濟委員會 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3100-3100 | 例 歐洲經濟委員會 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3102-3102 | 例 拉丁美洲和加勒比經濟委員會 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3112-3112 | 例 InternationalAirTransportAssociation and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3107-3107 | 例 國際投資爭端秘書處 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3433-3433 | 例 紅十字國際委員會 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3446-3446 | 例 國際法院 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4210-4210 | 例 盧旺達國際刑事法庭 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4204-4204 | 例 前南斯拉夫問題國際刑事法庭 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3597-3597 | 例 國際紅十字和紅新月運動 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3117-3117 | 例 多邊投資地理機構 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3119-3119 | 例 統計委員會 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4216-4216 | 例 聯合國賠償委員會 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3977-3977 | 例 聯合國人權事務高級專員 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3983-3983 | 例 聯合國裁軍研究所 and 國際組織 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2614-2618 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2516-2524 |
|
|
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