abbreviation - Sigma Knowledge base Browser

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	abbreviation の数値 1 引数は記号文字列の instance では %n
(domain abbreviation 2 Entity)	Mid-level-ontology.kif 27265-27265	abbreviation の数値 2 引数はエンティティーの instance では %n
(instance abbreviation BinaryPredicate)	Mid-level-ontology.kif 27263-27263	abbreviation は 2進述語の instance では %n
(subrelation abbreviation conventionalShortName)	Mid-level-ontology.kif 27266-27266	abbreviation は conventionalShortName の subrelation では %n

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 は abbreviation の subrelation では %n
(subrelation currencyCode abbreviation)	Economy.kif 3616-3616	currencyCode は abbreviation の subrelation では %n
(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

abbreviatedDisplayTitle 記号文字列, エンティティー-TYPE and 言語エンティティーはエンティティー-TYPE の instance では %n
abbreviation 記号文字列 and エンティティー

appearance as argument number 0

(abbreviation "ABEDA" ArabBankForEconomicDevelopmentInAfrica)	Government.kif 2773-2773	abbreviation "ABEDA" and ArabBankForEconomicDevelopmentInAfrica
(abbreviation "ACC" ArabCooperationCouncil)	Government.kif 2781-2781	abbreviation "ACC" and ArabCooperationCouncil
(abbreviation "ACCT" AgencyForTheFrenchSpeakingCommunity)	Government.kif 2727-2727	abbreviation "ACCT" and AgencyForTheFrenchSpeakingCommunity
(abbreviation "ACP Group" AfricanCaribbeanAndPacificGroupOfStates)	Government.kif 2713-2713	abbreviation "ACP Group" and AfricanCaribbeanAndPacificGroupOfStates
(abbreviation "AFESD" ArabFundForEconomicAndSocialDevelopment)	Government.kif 2787-2787	abbreviation "AFESD" and ArabFundForEconomicAndSocialDevelopment
(abbreviation "AL" ArabLeague)	Government.kif 2795-2795	abbreviation "AL" and ArabLeague
(abbreviation "AMF" ArabMonetaryFund)	Government.kif 2814-2814	abbreviation "AMF" and ArabMonetaryFund
(abbreviation "AMU" ArabMaghrebUnion)	Government.kif 2805-2805	abbreviation "AMU" and ArabMaghrebUnion
(abbreviation "ANZUS" AustraliaNewZealandUnitedStatesSecurityTreaty)	Government.kif 2852-2852	abbreviation "ANZUS" and AustraliaNewZealandUnitedStatesSecurityTreaty
(abbreviation "APEC" AsiaPacificEconomicCooperation)	Government.kif 2820-2820	abbreviation "APEC" and AsiaPacificEconomicCooperation
(abbreviation "ARF" ASEANRegionalForum)	Government.kif 2840-2840	abbreviation "ARF" and ASEANRegionalForum
(abbreviation "ASEAN" AssociationOfSoutheastAsianNations)	Government.kif 2832-2832	abbreviation "ASEAN" and AssociationOfSoutheastAsianNations
(abbreviation "AfDB" AfricanDevelopmentBank)	Government.kif 2718-2718	abbreviation "AfDB" and AfricanDevelopmentBank
(abbreviation "AsDB" AsianDevelopmentBank)	Government.kif 2826-2826	abbreviation "AsDB" and AsianDevelopmentBank
(abbreviation "BCIE" CentralAmericanBankForEconomicIntegration)	Government.kif 2912-2912	abbreviation "BCIE" and CentralAmericanBankForEconomicIntegration
(abbreviation "BDEAC" CentralAfricanStatesDevelopmentBank)	Government.kif 2905-2905	abbreviation "BDEAC" and CentralAfricanStatesDevelopmentBank
(abbreviation "BIS" BankForInternationalSettlements)	Government.kif 2858-2858	abbreviation "BIS" and BankForInternationalSettlements
(abbreviation "BSEC" BlackSeaEconomicCooperationZone)	Government.kif 2884-2884	abbreviation "BSEC" and BlackSeaEconomicCooperationZone
(abbreviation "BVI" BritishVirginIslands)	CountriesAndRegions.kif 4091-4091	abbreviation "BVI" and BritishVirginIslands
(abbreviation "Benelux" BeneluxEconomicUnion)	Government.kif 2864-2864	abbreviation "Benelux" and BeneluxEconomicUnion
(abbreviation "C" CommonwealthOfNations)	Government.kif 2943-2943	abbreviation "C" and CommonwealthOfNations
(abbreviation "CACM" CentralAmericanCommonMarket)	Government.kif 2920-2920	abbreviation "CACM" and CentralAmericanCommonMarket
(abbreviation "CAEU" CouncilOfArabEconomicUnity)	Government.kif 2977-2977	abbreviation "CAEU" and CouncilOfArabEconomicUnity
(abbreviation "CAN" AndeanCommunityOfNations)	Government.kif 2748-2748	abbreviation "CAN" and AndeanCommunityOfNations
(abbreviation "CBSS" CouncilOfTheBalticSeaStates)	Government.kif 2998-2998	abbreviation "CBSS" and CouncilOfTheBalticSeaStates

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

KB Term:			Term intersection

English Word: