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 29138-29140
(domain abbreviation 1 SymbolicString) Mid-level-ontology.kif 29134-29134
(domain abbreviation 2 Entity) Mid-level-ontology.kif 29135-29135
(instance abbreviation BinaryPredicate) Mid-level-ontology.kif 29133-29133
(subrelation abbreviation conventionalShortName) Mid-level-ontology.kif 29136-29136

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

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


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

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