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 25496-25498
(domain abbreviation 1 SymbolicString)	Mid-level-ontology.kif 25492-25492	domain abbreviation, 1 and SymbolicString
(domain abbreviation 2 Entity)	Mid-level-ontology.kif 25493-25493	domain abbreviation, 2 and Entity
(instance abbreviation BinaryPredicate)	Mid-level-ontology.kif 25491-25491	instance abbreviation and BinaryPredicate
(subrelation abbreviation conventionalShortName)	Mid-level-ontology.kif 25494-25494	subrelation abbreviation and conventionalShortName

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	subrelation acronym and abbreviation
(subrelation currencyCode abbreviation)	Economy.kif 3619-3619	subrelation currencyCode and abbreviation
(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

abbreviatedDisplayTitle SymbolicString, entity-TYPE and Language instance Entity and entity-TYPE
abbreviation SymbolicString and Entity

appearance as argument number 0

(abbreviation "ABEDA" ArabBankForEconomicDevelopmentInAfrica)	Government.kif 2740-2740	abbreviation "ABEDA" and ArabBankForEconomicDevelopmentInAfrica
(abbreviation "ACC" ArabCooperationCouncil)	Government.kif 2748-2748	abbreviation "ACC" and ArabCooperationCouncil
(abbreviation "ACCT" AgencyForTheFrenchSpeakingCommunity)	Government.kif 2704-2704	abbreviation "ACCT" and AgencyForTheFrenchSpeakingCommunity
(abbreviation "ACP Group" AfricanCaribbeanAndPacificGroupOfStates)	Government.kif 2690-2690	abbreviation "ACP Group" and AfricanCaribbeanAndPacificGroupOfStates
(abbreviation "AFESD" ArabFundForEconomicAndSocialDevelopment)	Government.kif 2754-2754	abbreviation "AFESD" and ArabFundForEconomicAndSocialDevelopment
(abbreviation "AL" ArabLeague)	Government.kif 2762-2762	abbreviation "AL" and ArabLeague
(abbreviation "AMF" ArabMonetaryFund)	Government.kif 2781-2781	abbreviation "AMF" and ArabMonetaryFund
(abbreviation "AMU" ArabMaghrebUnion)	Government.kif 2772-2772	abbreviation "AMU" and ArabMaghrebUnion
(abbreviation "ANZUS" AustraliaNewZealandUnitedStatesSecurityTreaty)	Government.kif 2819-2819	abbreviation "ANZUS" and AustraliaNewZealandUnitedStatesSecurityTreaty
(abbreviation "APEC" AsiaPacificEconomicCooperation)	Government.kif 2787-2787	abbreviation "APEC" and AsiaPacificEconomicCooperation
(abbreviation "ARF" ASEANRegionalForum)	Government.kif 2807-2807	abbreviation "ARF" and ASEANRegionalForum
(abbreviation "ASEAN" AssociationOfSoutheastAsianNations)	Government.kif 2799-2799	abbreviation "ASEAN" and AssociationOfSoutheastAsianNations
(abbreviation "AfDB" AfricanDevelopmentBank)	Government.kif 2695-2695	abbreviation "AfDB" and AfricanDevelopmentBank
(abbreviation "AsDB" AsianDevelopmentBank)	Government.kif 2793-2793	abbreviation "AsDB" and AsianDevelopmentBank
(abbreviation "BCIE" CentralAmericanBankForEconomicIntegration)	Government.kif 2879-2879	abbreviation "BCIE" and CentralAmericanBankForEconomicIntegration
(abbreviation "BDEAC" CentralAfricanStatesDevelopmentBank)	Government.kif 2872-2872	abbreviation "BDEAC" and CentralAfricanStatesDevelopmentBank
(abbreviation "BIS" BankForInternationalSettlements)	Government.kif 2825-2825	abbreviation "BIS" and BankForInternationalSettlements
(abbreviation "BSEC" BlackSeaEconomicCooperationZone)	Government.kif 2851-2851	abbreviation "BSEC" and BlackSeaEconomicCooperationZone
(abbreviation "BVI" BritishVirginIslands)	CountriesAndRegions.kif 4093-4093	abbreviation "BVI" and BritishVirginIslands
(abbreviation "Benelux" BeneluxEconomicUnion)	Government.kif 2831-2831	abbreviation "Benelux" and BeneluxEconomicUnion
(abbreviation "C" CommonwealthOfNations)	Government.kif 2910-2910	abbreviation "C" and CommonwealthOfNations
(abbreviation "CACM" CentralAmericanCommonMarket)	Government.kif 2887-2887	abbreviation "CACM" and CentralAmericanCommonMarket
(abbreviation "CAEU" CouncilOfArabEconomicUnity)	Government.kif 2944-2944	abbreviation "CAEU" and CouncilOfArabEconomicUnity
(abbreviation "CAN" AndeanCommunityOfNations)	Government.kif 2720-2720	abbreviation "CAN" and AndeanCommunityOfNations
(abbreviation "CBSS" CouncilOfTheBalticSeaStates)	Government.kif 2965-2965	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: