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 29122-29124
(domain abbreviation 1 SymbolicString)	Mid-level-ontology.kif 29118-29118	The number 1 argument of abbreviation is an instance of symbolic string
(domain abbreviation 2 Entity)	Mid-level-ontology.kif 29119-29119	The number 2 argument of abbreviation is an instance of entity
(instance abbreviation BinaryPredicate)	Mid-level-ontology.kif 29117-29117	abbreviation is an instance of binary predicate
(subrelation abbreviation conventionalShortName)	Mid-level-ontology.kif 29120-29120	abbreviation is a subrelation of 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)	Mid-level-ontology.kif 29131-29131	acronym is a subrelation of abbreviation
(subrelation currencyCode abbreviation)	Economy.kif 3948-3948	currencyCode is a subrelation of abbreviation
(termFormat ChineseLanguage abbreviation "缩写")	domainEnglishFormat.kif 5055-5055	currencyCode is a subrelation of abbreviation
(termFormat ChineseTraditionalLanguage abbreviation "縮寫")	domainEnglishFormat.kif 5054-5054	currencyCode is a subrelation of abbreviation
(termFormat EnglishLanguage abbreviation "abbreviation")	domainEnglishFormat.kif 5053-5053	currencyCode is a subrelation of abbreviation

consequent

(=>
    (and
        (abbreviatedDisplayTitle ?STRING ?CBP_TYPE ?LANGUAGE)
        (instance ?X ?CBP_TYPE))
    (abbreviation ?STRING ?X))

Media.kif 3149-3153

If abbreviatedDisplayTitle a symbolic string, an entity_TYPE and a language and another entity is an instance of the entity_TYPE,
then abbreviation the symbolic string and the other entity

appearance as argument number 0

(abbreviation "ABEDA" ArabBankForEconomicDevelopmentInAfrica)	Government.kif 2770-2770	abbreviation "ABEDA" and ArabBankForEconomicDevelopmentInAfrica
(abbreviation "ACC" ArabCooperationCouncil)	Government.kif 2778-2778	abbreviation "ACC" and ArabCooperationCouncil
(abbreviation "ACCT" AgencyForTheFrenchSpeakingCommunity)	Government.kif 2724-2724	abbreviation "ACCT" and AgencyForTheFrenchSpeakingCommunity
(abbreviation "ACP Group" AfricanCaribbeanAndPacificGroupOfStates)	Government.kif 2710-2710	abbreviation "ACP Group" and AfricanCaribbeanAndPacificGroupOfStates
(abbreviation "AFESD" ArabFundForEconomicAndSocialDevelopment)	Government.kif 2784-2784	abbreviation "AFESD" and ArabFundForEconomicAndSocialDevelopment
(abbreviation "AL" ArabLeague)	Government.kif 2792-2792	abbreviation "AL" and ArabLeague
(abbreviation "AMF" ArabMonetaryFund)	Government.kif 2811-2811	abbreviation "AMF" and ArabMonetaryFund
(abbreviation "AMU" ArabMaghrebUnion)	Government.kif 2802-2802	abbreviation "AMU" and ArabMaghrebUnion
(abbreviation "ANZUS" AustraliaNewZealandUnitedStatesSecurityTreaty)	Government.kif 2849-2849	abbreviation "ANZUS" and AustraliaNewZealandUnitedStatesSecurityTreaty
(abbreviation "APEC" AsiaPacificEconomicCooperation)	Government.kif 2817-2817	abbreviation "APEC" and AsiaPacificEconomicCooperation
(abbreviation "ARF" ASEANRegionalForum)	Government.kif 2837-2837	abbreviation "ARF" and ASEANRegionalForum
(abbreviation "ASEAN" AssociationOfSoutheastAsianNations)	Government.kif 2829-2829	abbreviation "ASEAN" and AssociationOfSoutheastAsianNations
(abbreviation "AfDB" AfricanDevelopmentBank)	Government.kif 2715-2715	abbreviation "AfDB" and AfricanDevelopmentBank
(abbreviation "AsDB" AsianDevelopmentBank)	Government.kif 2823-2823	abbreviation "AsDB" and AsianDevelopmentBank
(abbreviation "BCIE" CentralAmericanBankForEconomicIntegration)	Government.kif 2909-2909	abbreviation "BCIE" and CentralAmericanBankForEconomicIntegration
(abbreviation "BDEAC" CentralAfricanStatesDevelopmentBank)	Government.kif 2902-2902	abbreviation "BDEAC" and CentralAfricanStatesDevelopmentBank
(abbreviation "BIS" BankForInternationalSettlements)	Government.kif 2855-2855	abbreviation "BIS" and BankForInternationalSettlements
(abbreviation "BSEC" BlackSeaEconomicCooperationZone)	Government.kif 2881-2881	abbreviation "BSEC" and BlackSeaEconomicCooperationZone
(abbreviation "BVI" BritishVirginIslands)	CountriesAndRegions.kif 4091-4091	abbreviation "BVI" and BritishVirginIslands
(abbreviation "Benelux" BeneluxEconomicUnion)	Government.kif 2861-2861	abbreviation "Benelux" and BeneluxEconomicUnion
(abbreviation "C" CommonwealthOfNations)	Government.kif 2940-2940	abbreviation "C" and CommonwealthOfNations
(abbreviation "CACM" CentralAmericanCommonMarket)	Government.kif 2917-2917	abbreviation "CACM" and CentralAmericanCommonMarket
(abbreviation "CAEU" CouncilOfArabEconomicUnity)	Government.kif 2974-2974	abbreviation "CAEU" and CouncilOfArabEconomicUnity
(abbreviation "CAN" AndeanCommunityOfNations)	Government.kif 2745-2745	abbreviation "CAN" and AndeanCommunityOfNations
(abbreviation "CBSS" CouncilOfTheBalticSeaStates)	Government.kif 2995-2995	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: