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 25926-25928
(domain abbreviation 1 SymbolicString) Mid-level-ontology.kif 25922-25922
(domain abbreviation 2 Entity) Mid-level-ontology.kif 25923-25923
(instance abbreviation BinaryPredicate) Mid-level-ontology.kif 25921-25921
(subrelation abbreviation conventionalShortName) Mid-level-ontology.kif 25924-25924

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 2780-2780
(abbreviation "ACC" ArabCooperationCouncil) Government.kif 2788-2788
(abbreviation "ACCT" AgencyForTheFrenchSpeakingCommunity) Government.kif 2744-2744
(abbreviation "ACP Group" AfricanCaribbeanAndPacificGroupOfStates) Government.kif 2730-2730
(abbreviation "AFESD" ArabFundForEconomicAndSocialDevelopment) Government.kif 2794-2794
(abbreviation "AL" ArabLeague) Government.kif 2802-2802
(abbreviation "AMF" ArabMonetaryFund) Government.kif 2821-2821
(abbreviation "AMU" ArabMaghrebUnion) Government.kif 2812-2812
(abbreviation "ANZUS" AustraliaNewZealandUnitedStatesSecurityTreaty) Government.kif 2859-2859
(abbreviation "APEC" AsiaPacificEconomicCooperation) Government.kif 2827-2827
(abbreviation "ARF" ASEANRegionalForum) Government.kif 2847-2847
(abbreviation "ASEAN" AssociationOfSoutheastAsianNations) Government.kif 2839-2839
(abbreviation "AfDB" AfricanDevelopmentBank) Government.kif 2735-2735
(abbreviation "AsDB" AsianDevelopmentBank) Government.kif 2833-2833
(abbreviation "BCIE" CentralAmericanBankForEconomicIntegration) Government.kif 2919-2919
(abbreviation "BDEAC" CentralAfricanStatesDevelopmentBank) Government.kif 2912-2912
(abbreviation "BIS" BankForInternationalSettlements) Government.kif 2865-2865
(abbreviation "BSEC" BlackSeaEconomicCooperationZone) Government.kif 2891-2891
(abbreviation "BVI" BritishVirginIslands) CountriesAndRegions.kif 4093-4093
(abbreviation "Benelux" BeneluxEconomicUnion) Government.kif 2871-2871
(abbreviation "C" CommonwealthOfNations) Government.kif 2950-2950
(abbreviation "CACM" CentralAmericanCommonMarket) Government.kif 2927-2927
(abbreviation "CAEU" CouncilOfArabEconomicUnity) Government.kif 2984-2984
(abbreviation "CAN" AndeanCommunityOfNations) Government.kif 2760-2760
(abbreviation "CBSS" CouncilOfTheBalticSeaStates) Government.kif 3005-3005

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