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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OrganizationOfNations

Sigma KEE - OrganizationOfNations
OrganizationOfNations(国际组织)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2528-2529
No TPTP formula. May not be expressible in strict first order. Government.kif 2526-2526 国际组织国际组织subclass

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2874-2874 东盟区域论坛国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2747-2747 非洲加勒比和太平洋国家集团国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2753-2753 非洲开发银行国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2761-2761 法语社区的代理机构国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2773-2773 在拉丁美洲和加勒比地区禁止核武器的机构国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2782-2782 安第斯国际社会国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2799-2799 南极条约理事会国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2807-2807 阿拉伯非洲经济发展银行国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2815-2815 阿拉伯合作理事会国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2821-2821 阿拉伯经济和社会发展基金国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2828-2828 阿拉伯联盟国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2839-2839 阿拉伯马格里布联盟国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2848-2848 阿拉伯货币基金国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2854-2854 亚太经济合作国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2860-2860 亚洲开发银行国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2866-2866 东南亚国家联盟国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2881-2881 澳大利亚集团国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2886-2886 澳大利亚新西兰美国安全条约国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2892-2892 国际结算银行国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2898-2898 比荷卢经济联盟国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2907-2907 大七国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2912-2912 大六国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2918-2918 黑海经济合作区国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2925-2925 加勒比共同体和共同市场国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2932-2932 加勒比开发银行国际组织instance

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 2531-2535

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 3063-3067


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