| 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 27268-27270 | |
| (domain abbreviation 1 SymbolicString) | Mid-level-ontology.kif 27264-27264 | 缩写 的 1 数量 是 符号串 的 instance |
| (domain abbreviation 2 Entity) | Mid-level-ontology.kif 27265-27265 | 缩写 的 2 数量 是 实体 的 instance |
| (instance abbreviation BinaryPredicate) | Mid-level-ontology.kif 27263-27263 | 缩写 是 二元谓语 的 instance |
| (subrelation abbreviation conventionalShortName) | Mid-level-ontology.kif 27266-27266 | 缩写 是 传统的短名称 的 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) | Mid-level-ontology.kif 27277-27277 | acronym 是 缩写 的 subrelation |
| (subrelation currencyCode abbreviation) | Economy.kif 3616-3616 | 货币代码 是 缩写 的 subrelation |
| (termFormat ChineseLanguage abbreviation "缩写") | domainEnglishFormat.kif 5046-5046 | |
| (termFormat ChineseTraditionalLanguage abbreviation "縮寫") | domainEnglishFormat.kif 5045-5045 | |
| (termFormat EnglishLanguage abbreviation "abbreviation") | domainEnglishFormat.kif 5044-5044 |
| consequent |
|
|
| (=> (and (abbreviatedDisplayTitle ?STRING ?CBP-TYPE ?LANGUAGE) (instance ?X ?CBP-TYPE)) (abbreviation ?STRING ?X)) |
Media.kif 3147-3151 |
| appearance as argument number 0 |
|
|
| (abbreviation "ABEDA" ArabBankForEconomicDevelopmentInAfrica) | Government.kif 2773-2773 | 阿拉伯非洲经济发展银行 是 "ABEDA" 的简称 |
| (abbreviation "ACC" ArabCooperationCouncil) | Government.kif 2781-2781 | 阿拉伯合作理事会 是 "ACC" 的简称 |
| (abbreviation "ACCT" AgencyForTheFrenchSpeakingCommunity) | Government.kif 2727-2727 | 法语社区的代理机构 是 "ACCT" 的简称 |
| (abbreviation "ACP Group" AfricanCaribbeanAndPacificGroupOfStates) | Government.kif 2713-2713 | 非洲加勒比和太平洋国家集团 是 "ACP Group" 的简称 |
| (abbreviation "AFESD" ArabFundForEconomicAndSocialDevelopment) | Government.kif 2787-2787 | 阿拉伯经济和社会发展基金 是 "AFESD" 的简称 |
| (abbreviation "AL" ArabLeague) | Government.kif 2795-2795 | 阿拉伯联盟 是 "AL" 的简称 |
| (abbreviation "AMF" ArabMonetaryFund) | Government.kif 2814-2814 | 阿拉伯货币基金 是 "AMF" 的简称 |
| (abbreviation "AMU" ArabMaghrebUnion) | Government.kif 2805-2805 | 阿拉伯马格里布联盟 是 "AMU" 的简称 |
| (abbreviation "ANZUS" AustraliaNewZealandUnitedStatesSecurityTreaty) | Government.kif 2852-2852 | 澳大利亚新西兰美国安全条约 是 "ANZUS" 的简称 |
| (abbreviation "APEC" AsiaPacificEconomicCooperation) | Government.kif 2820-2820 | 亚太经济合作 是 "APEC" 的简称 |
| (abbreviation "ARF" ASEANRegionalForum) | Government.kif 2840-2840 | 东盟区域论坛 是 "ARF" 的简称 |
| (abbreviation "ASEAN" AssociationOfSoutheastAsianNations) | Government.kif 2832-2832 | 东南亚国家联盟 是 "ASEAN" 的简称 |
| (abbreviation "AfDB" AfricanDevelopmentBank) | Government.kif 2718-2718 | 非洲开发银行 是 "AfDB" 的简称 |
| (abbreviation "AsDB" AsianDevelopmentBank) | Government.kif 2826-2826 | 亚洲开发银行 是 "AsDB" 的简称 |
| (abbreviation "BCIE" CentralAmericanBankForEconomicIntegration) | Government.kif 2912-2912 | 中美洲经济一体化银行 是 "BCIE" 的简称 |
| (abbreviation "BDEAC" CentralAfricanStatesDevelopmentBank) | Government.kif 2905-2905 | 中非国家开发银行 是 "BDEAC" 的简称 |
| (abbreviation "BIS" BankForInternationalSettlements) | Government.kif 2858-2858 | 国际结算银行 是 "BIS" 的简称 |
| (abbreviation "BSEC" BlackSeaEconomicCooperationZone) | Government.kif 2884-2884 | 黑海经济合作区 是 "BSEC" 的简称 |
| (abbreviation "BVI" BritishVirginIslands) | CountriesAndRegions.kif 4091-4091 | 英属维尔京群岛 是 "BVI" 的简称 |
| (abbreviation "Benelux" BeneluxEconomicUnion) | Government.kif 2864-2864 | 比荷卢经济联盟 是 "Benelux" 的简称 |
| (abbreviation "C" CommonwealthOfNations) | Government.kif 2943-2943 | 国家联合体 是 "C" 的简称 |
| (abbreviation "CACM" CentralAmericanCommonMarket) | Government.kif 2920-2920 | 中美洲共同市场 是 "CACM" 的简称 |
| (abbreviation "CAEU" CouncilOfArabEconomicUnity) | Government.kif 2977-2977 | 阿拉伯经济统一委员会 是 "CAEU" 的简称 |
| (abbreviation "CAN" AndeanCommunityOfNations) | Government.kif 2748-2748 | 安第斯国际社会 是 "CAN" 的简称 |
| (abbreviation "CBSS" CouncilOfTheBalticSeaStates) | Government.kif 2998-2998 | 波罗的海国家理事会 是 "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