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 25521-25523
(domain abbreviation 1 SymbolicString) Mid-level-ontology.kif 25517-25517 缩写 的 1 数量 是 符号串instance
(domain abbreviation 2 Entity) Mid-level-ontology.kif 25518-25518 缩写 的 2 数量 是 实体instance
(instance abbreviation BinaryPredicate) Mid-level-ontology.kif 25516-25516 缩写二元谓语instance
(subrelation abbreviation conventionalShortName) Mid-level-ontology.kif 25519-25519 缩写传统的短名称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 3004-3004 acronym缩写subrelation
(subrelation currencyCode abbreviation) Economy.kif 3619-3619 货币代码缩写subrelation
(termFormat ChineseLanguage abbreviation "缩写") domainEnglishFormat.kif 5051-5051
(termFormat ChineseTraditionalLanguage abbreviation "縮寫") domainEnglishFormat.kif 5050-5050
(termFormat EnglishLanguage abbreviation "abbreviation") domainEnglishFormat.kif 5049-5049

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


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

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


(abbreviation "ABEDA" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2740-2740 阿拉伯非洲经济发展银行 是 "ABEDA" 的简称
(abbreviation "ACC" ArabCooperationCouncil) Government.kif 2748-2748 阿拉伯合作理事会 是 "ACC" 的简称
(abbreviation "ACCT" AgencyForTheFrenchSpeakingCommunity) Government.kif 2704-2704 法语社区的代理机构 是 "ACCT" 的简称
(abbreviation "ACP Group" AfricanCaribbeanAndPacificGroupOfStates) Government.kif 2690-2690 非洲加勒比和太平洋国家集团 是 "ACP Group" 的简称
(abbreviation "AFESD" ArabFundForEconomicAndSocialDevelopment) Government.kif 2754-2754 阿拉伯经济和社会发展基金 是 "AFESD" 的简称
(abbreviation "AL" ArabLeague) Government.kif 2762-2762 阿拉伯联盟 是 "AL" 的简称
(abbreviation "AMF" ArabMonetaryFund) Government.kif 2781-2781 阿拉伯货币基金 是 "AMF" 的简称
(abbreviation "AMU" ArabMaghrebUnion) Government.kif 2772-2772 阿拉伯马格里布联盟 是 "AMU" 的简称
(abbreviation "ANZUS" AustraliaNewZealandUnitedStatesSecurityTreaty) Government.kif 2819-2819 澳大利亚新西兰美国安全条约 是 "ANZUS" 的简称
(abbreviation "APEC" AsiaPacificEconomicCooperation) Government.kif 2787-2787 亚太经济合作 是 "APEC" 的简称
(abbreviation "ARF" ASEANRegionalForum) Government.kif 2807-2807 东盟区域论坛 是 "ARF" 的简称
(abbreviation "ASEAN" AssociationOfSoutheastAsianNations) Government.kif 2799-2799 东南亚国家联盟 是 "ASEAN" 的简称
(abbreviation "AfDB" AfricanDevelopmentBank) Government.kif 2695-2695 非洲开发银行 是 "AfDB" 的简称
(abbreviation "AsDB" AsianDevelopmentBank) Government.kif 2793-2793 亚洲开发银行 是 "AsDB" 的简称
(abbreviation "BCIE" CentralAmericanBankForEconomicIntegration) Government.kif 2879-2879 中美洲经济一体化银行 是 "BCIE" 的简称
(abbreviation "BDEAC" CentralAfricanStatesDevelopmentBank) Government.kif 2872-2872 中非国家开发银行 是 "BDEAC" 的简称
(abbreviation "BIS" BankForInternationalSettlements) Government.kif 2825-2825 国际结算银行 是 "BIS" 的简称
(abbreviation "BSEC" BlackSeaEconomicCooperationZone) Government.kif 2851-2851 黑海经济合作区 是 "BSEC" 的简称
(abbreviation "BVI" BritishVirginIslands) CountriesAndRegions.kif 4093-4093 英属维尔京群岛 是 "BVI" 的简称
(abbreviation "Benelux" BeneluxEconomicUnion) Government.kif 2831-2831 比荷卢经济联盟 是 "Benelux" 的简称
(abbreviation "C" CommonwealthOfNations) Government.kif 2910-2910 国家联合体 是 "C" 的简称
(abbreviation "CACM" CentralAmericanCommonMarket) Government.kif 2887-2887 中美洲共同市场 是 "CACM" 的简称
(abbreviation "CAEU" CouncilOfArabEconomicUnity) Government.kif 2944-2944 阿拉伯经济统一委员会 是 "CAEU" 的简称
(abbreviation "CAN" AndeanCommunityOfNations) Government.kif 2720-2720 安第斯国际社会 是 "CAN" 的简称
(abbreviation "CBSS" CouncilOfTheBalticSeaStates) Government.kif 2965-2965 波罗的海国家理事会 是 "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