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

Formal Language: 



KB Term:  Term intersection
English Word: 

  abbreviation

 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 27268-27270
(domain abbreviation 1 SymbolicString) Mid-level-ontology.kif 27264-27264
(domain abbreviation 2 Entity) Mid-level-ontology.kif 27265-27265
(instance abbreviation BinaryPredicate) Mid-level-ontology.kif 27263-27263
(subrelation abbreviation conventionalShortName) Mid-level-ontology.kif 27266-27266

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

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


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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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