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 23451-23453
(domain abbreviation 1 SymbolicString) Mid-level-ontology.kif 23447-23447
(domain abbreviation 2 Entity) Mid-level-ontology.kif 23448-23448
(instance abbreviation BinaryPredicate) Mid-level-ontology.kif 23446-23446
(subrelation abbreviation conventionalShortName) Mid-level-ontology.kif 23449-23449

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 3004-3004
(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 3135-3139

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


(abbreviation "ABEDA" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2772-2772
(abbreviation "ACC" ArabCooperationCouncil) Government.kif 2780-2780
(abbreviation "ACCT" AgencyForTheFrenchSpeakingCommunity) Government.kif 2736-2736
(abbreviation "ACP Group" AfricanCaribbeanAndPacificGroupOfStates) Government.kif 2722-2722
(abbreviation "AFESD" ArabFundForEconomicAndSocialDevelopment) Government.kif 2786-2786
(abbreviation "AL" ArabLeague) Government.kif 2794-2794
(abbreviation "AMF" ArabMonetaryFund) Government.kif 2813-2813
(abbreviation "AMU" ArabMaghrebUnion) Government.kif 2804-2804
(abbreviation "ANZUS" AustraliaNewZealandUnitedStatesSecurityTreaty) Government.kif 2851-2851
(abbreviation "APEC" AsiaPacificEconomicCooperation) Government.kif 2819-2819
(abbreviation "ARF" ASEANRegionalForum) Government.kif 2839-2839
(abbreviation "ASEAN" AssociationOfSoutheastAsianNations) Government.kif 2831-2831
(abbreviation "AfDB" AfricanDevelopmentBank) Government.kif 2727-2727
(abbreviation "AsDB" AsianDevelopmentBank) Government.kif 2825-2825
(abbreviation "BCIE" CentralAmericanBankForEconomicIntegration) Government.kif 2911-2911
(abbreviation "BDEAC" CentralAfricanStatesDevelopmentBank) Government.kif 2904-2904
(abbreviation "BIS" BankForInternationalSettlements) Government.kif 2857-2857
(abbreviation "BSEC" BlackSeaEconomicCooperationZone) Government.kif 2883-2883
(abbreviation "BVI" BritishVirginIslands) CountriesAndRegions.kif 4093-4093
(abbreviation "Benelux" BeneluxEconomicUnion) Government.kif 2863-2863
(abbreviation "C" CommonwealthOfNations) Government.kif 2942-2942
(abbreviation "CACM" CentralAmericanCommonMarket) Government.kif 2919-2919
(abbreviation "CAEU" CouncilOfArabEconomicUnity) Government.kif 2976-2976
(abbreviation "CAN" AndeanCommunityOfNations) Government.kif 2752-2752
(abbreviation "CBSS" CouncilOfTheBalticSeaStates) Government.kif 2997-2997

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