| 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 29136-29138 | |
| (domain abbreviation 1 SymbolicString) | Mid-level-ontology.kif 29132-29132 | 域 縮寫, 1 and SymbolicString |
| (domain abbreviation 2 Entity) | Mid-level-ontology.kif 29133-29133 | 域 縮寫, 2 and Entity |
| (instance abbreviation BinaryPredicate) | Mid-level-ontology.kif 29131-29131 | 例 縮寫 and BinaryPredicate |
| (subrelation abbreviation conventionalShortName) | Mid-level-ontology.kif 29134-29134 | 子關係 縮寫 and 傳統的短名稱 |
| 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 29145-29145 | 子關係 acronym and 縮寫 |
| (subrelation currencyCode abbreviation) | Economy.kif 3953-3953 | 子關係 貨幣代碼 and 縮寫 |
| (termFormat ChineseLanguage abbreviation "缩写") | domainEnglishFormat.kif 5055-5055 | 子關係 貨幣代碼 and 縮寫 |
| (termFormat ChineseTraditionalLanguage abbreviation "縮寫") | domainEnglishFormat.kif 5054-5054 | 子關係 貨幣代碼 and 縮寫 |
| (termFormat EnglishLanguage abbreviation "abbreviation") | domainEnglishFormat.kif 5053-5053 | 子關係 貨幣代碼 and 縮寫 |
| consequent |
|
|
| (=> (and (abbreviatedDisplayTitle ?STRING ?CBP_TYPE ?LANGUAGE) (instance ?X ?CBP_TYPE)) (abbreviation ?STRING ?X)) |
Media.kif 3149-3153 |
|
| appearance as argument number 0 |
|
|
| (abbreviation "ABEDA" ArabBankForEconomicDevelopmentInAfrica) | Government.kif 2770-2770 | 阿拉伯非洲經濟發展銀行 是 "ABEDA" 的簡稱 |
| (abbreviation "ACC" ArabCooperationCouncil) | Government.kif 2778-2778 | 阿拉伯合作理事會 是 "ACC" 的簡稱 |
| (abbreviation "ACCT" AgencyForTheFrenchSpeakingCommunity) | Government.kif 2724-2724 | 法語社區的代理機構 是 "ACCT" 的簡稱 |
| (abbreviation "ACP Group" AfricanCaribbeanAndPacificGroupOfStates) | Government.kif 2710-2710 | 非洲加勒比和太平洋國家集團 是 "ACP Group" 的簡稱 |
| (abbreviation "AFESD" ArabFundForEconomicAndSocialDevelopment) | Government.kif 2784-2784 | 阿拉伯經濟和社會發展基金 是 "AFESD" 的簡稱 |
| (abbreviation "AL" ArabLeague) | Government.kif 2792-2792 | 阿拉伯聯盟 是 "AL" 的簡稱 |
| (abbreviation "AMF" ArabMonetaryFund) | Government.kif 2811-2811 | 阿拉伯貨幣基金 是 "AMF" 的簡稱 |
| (abbreviation "AMU" ArabMaghrebUnion) | Government.kif 2802-2802 | 阿拉伯馬格里布聯盟 是 "AMU" 的簡稱 |
| (abbreviation "ANZUS" AustraliaNewZealandUnitedStatesSecurityTreaty) | Government.kif 2849-2849 | 澳大利亞新西蘭美國安全條約 是 "ANZUS" 的簡稱 |
| (abbreviation "APEC" AsiaPacificEconomicCooperation) | Government.kif 2817-2817 | 亞太經濟合作 是 "APEC" 的簡稱 |
| (abbreviation "ARF" ASEANRegionalForum) | Government.kif 2837-2837 | 東盟區域論壇 是 "ARF" 的簡稱 |
| (abbreviation "ASEAN" AssociationOfSoutheastAsianNations) | Government.kif 2829-2829 | 東南亞國家聯盟 是 "ASEAN" 的簡稱 |
| (abbreviation "AfDB" AfricanDevelopmentBank) | Government.kif 2715-2715 | 非洲開發銀行 是 "AfDB" 的簡稱 |
| (abbreviation "AsDB" AsianDevelopmentBank) | Government.kif 2823-2823 | 亞洲開發銀行 是 "AsDB" 的簡稱 |
| (abbreviation "BCIE" CentralAmericanBankForEconomicIntegration) | Government.kif 2909-2909 | 中美洲經濟一體化銀行 是 "BCIE" 的簡稱 |
| (abbreviation "BDEAC" CentralAfricanStatesDevelopmentBank) | Government.kif 2902-2902 | 中非國家開發銀行 是 "BDEAC" 的簡稱 |
| (abbreviation "BIS" BankForInternationalSettlements) | Government.kif 2855-2855 | 國際結算銀行 是 "BIS" 的簡稱 |
| (abbreviation "BSEC" BlackSeaEconomicCooperationZone) | Government.kif 2881-2881 | 黑海經濟合作區 是 "BSEC" 的簡稱 |
| (abbreviation "BVI" BritishVirginIslands) | CountriesAndRegions.kif 4086-4086 | 英屬維爾京群島 是 "BVI" 的簡稱 |
| (abbreviation "Benelux" BeneluxEconomicUnion) | Government.kif 2861-2861 | 比荷盧經濟聯盟 是 "Benelux" 的簡稱 |
| (abbreviation "C" CommonwealthOfNations) | Government.kif 2940-2940 | 國家聯合體 是 "C" 的簡稱 |
| (abbreviation "CACM" CentralAmericanCommonMarket) | Government.kif 2917-2917 | 中美洲共同市場 是 "CACM" 的簡稱 |
| (abbreviation "CAEU" CouncilOfArabEconomicUnity) | Government.kif 2974-2974 | 阿拉伯經濟統一委員會 是 "CAEU" 的簡稱 |
| (abbreviation "CAN" AndeanCommunityOfNations) | Government.kif 2745-2745 | 安第斯國際社會 是 "CAN" 的簡稱 |
| (abbreviation "CBSS" CouncilOfTheBalticSeaStates) | Government.kif 2995-2995 | 波羅的海國家理事會 是 "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