Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternationalOrganization

Sigma KEE - InternationalOrganization
InternationalOrganization(國際組織)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2476-2478
No TPTP formula. May not be expressible in strict first order. Government.kif 2474-2474 子類 國際組織 and Organization

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 3042-3042 社會發展委員會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3044-3044 預防犯罪和刑事司法委員會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3046-3046 人權委員會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3048-3048 麻醉藥品委員會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3050-3050 人口與發展委員會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3052-3052 科學和技術促進發展委員會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3054-3054 可持續發展委員會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3056-3056 婦女地位委員會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3058-3058 亞洲及太平洋經濟社會委員會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3060-3060 西亞經濟社會委員會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3062-3062 非洲經濟委員會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3064-3064 歐洲經濟委員會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3066-3066 拉丁美洲和加勒比經濟委員會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3164-3164 InternationalAirTransportAssociation and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3071-3071 國際投資爭端秘書處 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3397-3397 紅十字國際委員會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3410-3410 國際法院 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 4174-4174 盧旺達國際刑事法庭 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 4168-4168 前南斯拉夫問題國際刑事法庭 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3561-3561 國際紅十字和紅新月運動 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3081-3081 多邊投資地理機構 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3083-3083 統計委員會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 4180-4180 聯合國賠償委員會 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3941-3941 聯合國人權事務高級專員 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3947-3947 聯合國裁軍研究所 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 2578-2582
No TPTP formula. May not be expressible in strict first order. Government.kif 2480-2488


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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