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 26577-26579
(domain abbreviation 1 SymbolicString) Mid-level-ontology.kif 26573-26573
(domain abbreviation 2 Entity) Mid-level-ontology.kif 26574-26574
(instance abbreviation BinaryPredicate) Mid-level-ontology.kif 26572-26572
(subrelation abbreviation conventionalShortName) Mid-level-ontology.kif 26575-26575

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 3016-3016
(subrelation currencyCode abbreviation) Economy.kif 3619-3619
(termFormat ChineseLanguage abbreviation "缩写") domainEnglishFormat.kif 5055-5055
(termFormat ChineseTraditionalLanguage abbreviation "縮寫") domainEnglishFormat.kif 5054-5054
(termFormat EnglishLanguage abbreviation "abbreviation") domainEnglishFormat.kif 5053-5053

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 2790-2790
(abbreviation "ACC" ArabCooperationCouncil) Government.kif 2798-2798
(abbreviation "ACCT" AgencyForTheFrenchSpeakingCommunity) Government.kif 2749-2749
(abbreviation "ACP Group" AfricanCaribbeanAndPacificGroupOfStates) Government.kif 2735-2735
(abbreviation "AFESD" ArabFundForEconomicAndSocialDevelopment) Government.kif 2804-2804
(abbreviation "AL" ArabLeague) Government.kif 2812-2812
(abbreviation "AMF" ArabMonetaryFund) Government.kif 2831-2831
(abbreviation "AMU" ArabMaghrebUnion) Government.kif 2822-2822
(abbreviation "ANZUS" AustraliaNewZealandUnitedStatesSecurityTreaty) Government.kif 2869-2869
(abbreviation "APEC" AsiaPacificEconomicCooperation) Government.kif 2837-2837
(abbreviation "ARF" ASEANRegionalForum) Government.kif 2857-2857
(abbreviation "ASEAN" AssociationOfSoutheastAsianNations) Government.kif 2849-2849
(abbreviation "AfDB" AfricanDevelopmentBank) Government.kif 2740-2740
(abbreviation "AsDB" AsianDevelopmentBank) Government.kif 2843-2843
(abbreviation "BCIE" CentralAmericanBankForEconomicIntegration) Government.kif 2929-2929
(abbreviation "BDEAC" CentralAfricanStatesDevelopmentBank) Government.kif 2922-2922
(abbreviation "BIS" BankForInternationalSettlements) Government.kif 2875-2875
(abbreviation "BSEC" BlackSeaEconomicCooperationZone) Government.kif 2901-2901
(abbreviation "BVI" BritishVirginIslands) CountriesAndRegions.kif 4091-4091
(abbreviation "Benelux" BeneluxEconomicUnion) Government.kif 2881-2881
(abbreviation "C" CommonwealthOfNations) Government.kif 2960-2960
(abbreviation "CACM" CentralAmericanCommonMarket) Government.kif 2937-2937
(abbreviation "CAEU" CouncilOfArabEconomicUnity) Government.kif 2994-2994
(abbreviation "CAN" AndeanCommunityOfNations) Government.kif 2765-2765
(abbreviation "CBSS" CouncilOfTheBalticSeaStates) Government.kif 3015-3015

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