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 29138-29140
(domain abbreviation 1 SymbolicString)	Mid-level-ontology.kif 29134-29134	abbreviation の数値 1 引数は記号文字列の instance では
(domain abbreviation 2 Entity)	Mid-level-ontology.kif 29135-29135	abbreviation の数値 2 引数はエンティティーの instance では
(instance abbreviation BinaryPredicate)	Mid-level-ontology.kif 29133-29133	abbreviation は 2進述語の instance では
(subrelation abbreviation conventionalShortName)	Mid-level-ontology.kif 29136-29136	abbreviation は conventionalShortName の 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 29147-29147	acronym は abbreviation の subrelation では
(subrelation currencyCode abbreviation)	Economy.kif 3953-3953	currencyCode は abbreviation の subrelation では
(termFormat ChineseLanguage abbreviation "缩写")	domainEnglishFormat.kif 5055-5055	currencyCode は abbreviation の subrelation では
(termFormat ChineseTraditionalLanguage abbreviation "縮寫")	domainEnglishFormat.kif 5054-5054	currencyCode は abbreviation の subrelation では
(termFormat EnglishLanguage abbreviation "abbreviation")	domainEnglishFormat.kif 5053-5053	currencyCode は abbreviation の subrelation では

consequent

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

Media.kif 3149-3153

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

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: