Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - abbreviation
abbreviation

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 27150-27152
(domain abbreviation 1 SymbolicString) Mid-level-ontology.kif 27146-27146 domain abbreviation, 1 and SymbolicString
(domain abbreviation 2 Entity) Mid-level-ontology.kif 27147-27147 domain abbreviation, 2 and Entity
(instance abbreviation BinaryPredicate) Mid-level-ontology.kif 27145-27145 instance abbreviation and BinaryPredicate
(subrelation abbreviation conventionalShortName) Mid-level-ontology.kif 27148-27148 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 3034-3034 subrelation acronym and abbreviation
(subrelation currencyCode abbreviation) Economy.kif 3627-3627 subrelation currencyCode and abbreviation
(termFormat ChineseLanguage abbreviation "缩写") domainEnglishFormat.kif 5054-5054
(termFormat ChineseTraditionalLanguage abbreviation "縮寫") domainEnglishFormat.kif 5053-5053
(termFormat EnglishLanguage abbreviation "abbreviation") domainEnglishFormat.kif 5052-5052

consequent
-------------------------


(=>
    (and
        (abbreviatedDisplayTitle ?STRING ?CBP-TYPE ?LANGUAGE)
        (instance ?X ?CBP-TYPE))
    (abbreviation ?STRING ?X))
Media.kif 3165-3169

appearance as argument number 0
-------------------------


(abbreviation "ABEDA" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2809-2809 abbreviation "ABEDA" and ArabBankForEconomicDevelopmentInAfrica
(abbreviation "ACC" ArabCooperationCouncil) Government.kif 2817-2817 abbreviation "ACC" and ArabCooperationCouncil
(abbreviation "ACCT" AgencyForTheFrenchSpeakingCommunity) Government.kif 2763-2763 abbreviation "ACCT" and AgencyForTheFrenchSpeakingCommunity
(abbreviation "ACP Group" AfricanCaribbeanAndPacificGroupOfStates) Government.kif 2749-2749 abbreviation "ACP Group" and AfricanCaribbeanAndPacificGroupOfStates
(abbreviation "AFESD" ArabFundForEconomicAndSocialDevelopment) Government.kif 2823-2823 abbreviation "AFESD" and ArabFundForEconomicAndSocialDevelopment
(abbreviation "AL" ArabLeague) Government.kif 2831-2831 abbreviation "AL" and ArabLeague
(abbreviation "AMF" ArabMonetaryFund) Government.kif 2850-2850 abbreviation "AMF" and ArabMonetaryFund
(abbreviation "AMU" ArabMaghrebUnion) Government.kif 2841-2841 abbreviation "AMU" and ArabMaghrebUnion
(abbreviation "ANZUS" AustraliaNewZealandUnitedStatesSecurityTreaty) Government.kif 2888-2888 abbreviation "ANZUS" and AustraliaNewZealandUnitedStatesSecurityTreaty
(abbreviation "APEC" AsiaPacificEconomicCooperation) Government.kif 2856-2856 abbreviation "APEC" and AsiaPacificEconomicCooperation
(abbreviation "ARF" ASEANRegionalForum) Government.kif 2876-2876 abbreviation "ARF" and ASEANRegionalForum
(abbreviation "ASEAN" AssociationOfSoutheastAsianNations) Government.kif 2868-2868 abbreviation "ASEAN" and AssociationOfSoutheastAsianNations
(abbreviation "AfDB" AfricanDevelopmentBank) Government.kif 2754-2754 abbreviation "AfDB" and AfricanDevelopmentBank
(abbreviation "AsDB" AsianDevelopmentBank) Government.kif 2862-2862 abbreviation "AsDB" and AsianDevelopmentBank
(abbreviation "BCIE" CentralAmericanBankForEconomicIntegration) Government.kif 2948-2948 abbreviation "BCIE" and CentralAmericanBankForEconomicIntegration
(abbreviation "BDEAC" CentralAfricanStatesDevelopmentBank) Government.kif 2941-2941 abbreviation "BDEAC" and CentralAfricanStatesDevelopmentBank
(abbreviation "BIS" BankForInternationalSettlements) Government.kif 2894-2894 abbreviation "BIS" and BankForInternationalSettlements
(abbreviation "BSEC" BlackSeaEconomicCooperationZone) Government.kif 2920-2920 abbreviation "BSEC" and BlackSeaEconomicCooperationZone
(abbreviation "BVI" BritishVirginIslands) CountriesAndRegions.kif 4091-4091 abbreviation "BVI" and BritishVirginIslands
(abbreviation "Benelux" BeneluxEconomicUnion) Government.kif 2900-2900 abbreviation "Benelux" and BeneluxEconomicUnion
(abbreviation "C" CommonwealthOfNations) Government.kif 2979-2979 abbreviation "C" and CommonwealthOfNations
(abbreviation "CACM" CentralAmericanCommonMarket) Government.kif 2956-2956 abbreviation "CACM" and CentralAmericanCommonMarket
(abbreviation "CAEU" CouncilOfArabEconomicUnity) Government.kif 3013-3013 abbreviation "CAEU" and CouncilOfArabEconomicUnity
(abbreviation "CAN" AndeanCommunityOfNations) Government.kif 2784-2784 abbreviation "CAN" and AndeanCommunityOfNations
(abbreviation "CBSS" CouncilOfTheBalticSeaStates) Government.kif 3034-3034 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