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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - abbreviation
abbreviation

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


(documentation abbreviation EnglishLanguage "(abbreviation ?STRING ?THING) means that ?STRING is an abbreviation used to refer to ?THING. Abbreviations include acronyms and other abbreviated forms.") Mid-level-ontology.kif 26625-26627
(domain abbreviation 1 SymbolicString) Mid-level-ontology.kif 26621-26621 缩写 的 1 数量 是 符号串instance
(domain abbreviation 2 Entity) Mid-level-ontology.kif 26622-26622 缩写 的 2 数量 是 实体instance
(instance abbreviation BinaryPredicate) Mid-level-ontology.kif 26620-26620 缩写二元谓语instance
(subrelation abbreviation conventionalShortName) Mid-level-ontology.kif 26623-26623 缩写传统的短名称subrelation

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


(format ChineseLanguage abbreviation "%2 %n 是 %1 的简称") domainEnglishFormat.kif 16-16
(format ChineseTraditionalLanguage abbreviation "%2 %n 是 %1 的簡稱") domainEnglishFormat.kif 15-15
(format EnglishLanguage abbreviation "%1 is %n an abbreviation of %2") domainEnglishFormat.kif 14-14
(subrelation acronym abbreviation) Media.kif 3022-3022 acronym缩写subrelation
(subrelation currencyCode abbreviation) Economy.kif 3626-3626 货币代码缩写subrelation
(termFormat ChineseLanguage abbreviation "缩写") domainEnglishFormat.kif 5055-5055
(termFormat ChineseTraditionalLanguage abbreviation "縮寫") domainEnglishFormat.kif 5054-5054
(termFormat EnglishLanguage abbreviation "abbreviation") domainEnglishFormat.kif 5053-5053

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


(=>
    (and
        (abbreviatedDisplayTitle ?STRING ?CBP-TYPE ?LANGUAGE)
        (instance ?X ?CBP-TYPE))
    (abbreviation ?STRING ?X))
Media.kif 3153-3157

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


(abbreviation "ABEDA" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2801-2801 阿拉伯非洲经济发展银行 是 "ABEDA" 的简称
(abbreviation "ACC" ArabCooperationCouncil) Government.kif 2809-2809 阿拉伯合作理事会 是 "ACC" 的简称
(abbreviation "ACCT" AgencyForTheFrenchSpeakingCommunity) Government.kif 2760-2760 法语社区的代理机构 是 "ACCT" 的简称
(abbreviation "ACP Group" AfricanCaribbeanAndPacificGroupOfStates) Government.kif 2746-2746 非洲加勒比和太平洋国家集团 是 "ACP Group" 的简称
(abbreviation "AFESD" ArabFundForEconomicAndSocialDevelopment) Government.kif 2815-2815 阿拉伯经济和社会发展基金 是 "AFESD" 的简称
(abbreviation "AL" ArabLeague) Government.kif 2823-2823 阿拉伯联盟 是 "AL" 的简称
(abbreviation "AMF" ArabMonetaryFund) Government.kif 2842-2842 阿拉伯货币基金 是 "AMF" 的简称
(abbreviation "AMU" ArabMaghrebUnion) Government.kif 2833-2833 阿拉伯马格里布联盟 是 "AMU" 的简称
(abbreviation "ANZUS" AustraliaNewZealandUnitedStatesSecurityTreaty) Government.kif 2880-2880 澳大利亚新西兰美国安全条约 是 "ANZUS" 的简称
(abbreviation "APEC" AsiaPacificEconomicCooperation) Government.kif 2848-2848 亚太经济合作 是 "APEC" 的简称
(abbreviation "ARF" ASEANRegionalForum) Government.kif 2868-2868 东盟区域论坛 是 "ARF" 的简称
(abbreviation "ASEAN" AssociationOfSoutheastAsianNations) Government.kif 2860-2860 东南亚国家联盟 是 "ASEAN" 的简称
(abbreviation "AfDB" AfricanDevelopmentBank) Government.kif 2751-2751 非洲开发银行 是 "AfDB" 的简称
(abbreviation "AsDB" AsianDevelopmentBank) Government.kif 2854-2854 亚洲开发银行 是 "AsDB" 的简称
(abbreviation "BCIE" CentralAmericanBankForEconomicIntegration) Government.kif 2940-2940 中美洲经济一体化银行 是 "BCIE" 的简称
(abbreviation "BDEAC" CentralAfricanStatesDevelopmentBank) Government.kif 2933-2933 中非国家开发银行 是 "BDEAC" 的简称
(abbreviation "BIS" BankForInternationalSettlements) Government.kif 2886-2886 国际结算银行 是 "BIS" 的简称
(abbreviation "BSEC" BlackSeaEconomicCooperationZone) Government.kif 2912-2912 黑海经济合作区 是 "BSEC" 的简称
(abbreviation "BVI" BritishVirginIslands) CountriesAndRegions.kif 4091-4091 英属维尔京群岛 是 "BVI" 的简称
(abbreviation "Benelux" BeneluxEconomicUnion) Government.kif 2892-2892 比荷卢经济联盟 是 "Benelux" 的简称
(abbreviation "C" CommonwealthOfNations) Government.kif 2971-2971 国家联合体 是 "C" 的简称
(abbreviation "CACM" CentralAmericanCommonMarket) Government.kif 2948-2948 中美洲共同市场 是 "CACM" 的简称
(abbreviation "CAEU" CouncilOfArabEconomicUnity) Government.kif 3005-3005 阿拉伯经济统一委员会 是 "CAEU" 的简称
(abbreviation "CAN" AndeanCommunityOfNations) Government.kif 2776-2776 安第斯国际社会 是 "CAN" 的简称
(abbreviation "CBSS" CouncilOfTheBalticSeaStates) Government.kif 3026-3026 波罗的海国家理事会 是 "CBSS" 的简称

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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