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

Formal Language: 



KB Term:  Term intersection
English Word: 

  abbreviation

Sigma KEE - abbreviation
abbreviation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27268-27270
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27264-27264 缩写 的 1 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27265-27265 缩写 的 2 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27263-27263 缩写二元谓语instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27266-27266 缩写传统的短名称subrelation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16-16
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15-15
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14-14
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27277-27277 acronym缩写subrelation
No TPTP formula. May not be expressible in strict first order. Economy.kif 3616-3616 货币代码缩写subrelation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5046-5046
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5045-5045
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5044-5044

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3147-3151

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2773-2773 阿拉伯非洲经济发展银行 是 "ABEDA" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2781-2781 阿拉伯合作理事会 是 "ACC" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2727-2727 法语社区的代理机构 是 "ACCT" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2713-2713 非洲加勒比和太平洋国家集团 是 "ACP Group" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2787-2787 阿拉伯经济和社会发展基金 是 "AFESD" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2795-2795 阿拉伯联盟 是 "AL" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2814-2814 阿拉伯货币基金 是 "AMF" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2805-2805 阿拉伯马格里布联盟 是 "AMU" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2852-2852 澳大利亚新西兰美国安全条约 是 "ANZUS" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2820-2820 亚太经济合作 是 "APEC" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2840-2840 东盟区域论坛 是 "ARF" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2832-2832 东南亚国家联盟 是 "ASEAN" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2718-2718 非洲开发银行 是 "AfDB" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2826-2826 亚洲开发银行 是 "AsDB" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2912-2912 中美洲经济一体化银行 是 "BCIE" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2905-2905 中非国家开发银行 是 "BDEAC" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2858-2858 国际结算银行 是 "BIS" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2884-2884 黑海经济合作区 是 "BSEC" 的简称
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4091-4091 英属维尔京群岛 是 "BVI" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2864-2864 比荷卢经济联盟 是 "Benelux" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2943-2943 国家联合体 是 "C" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2920-2920 中美洲共同市场 是 "CACM" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2977-2977 阿拉伯经济统一委员会 是 "CAEU" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2748-2748 安第斯国际社会 是 "CAN" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 2998-2998 波罗的海国家理事会 是 "CBSS" 的简称

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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