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 27235-27237
(domain abbreviation 1 SymbolicString) Mid-level-ontology.kif 27231-27231 Le nombre 1 argument de abbreviation est une instance de cha�ne sympbolique
(domain abbreviation 2 Entity) Mid-level-ontology.kif 27232-27232 Le nombre 2 argument de abbreviation est une instance de entit�
(instance abbreviation BinaryPredicate) Mid-level-ontology.kif 27230-27230 abbreviation est une instance de pr�dicat binaire
(subrelation abbreviation conventionalShortName) Mid-level-ontology.kif 27233-27233 abbreviation est une sous-relation de conventionalShortName

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 3034-3034 acronym est une sous-relation de abbreviation
(subrelation currencyCode abbreviation) Economy.kif 3616-3616 currencyCode est une sous-relation de abbreviation
(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 3165-3169

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


(abbreviation "ABEDA" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2809-2809 abbreviation "ABEDA" and ArabBankForEconomicDevelopmentInAfrica
(abbreviation "ACC" ArabCooperationCouncil) Government.kif 2817-2817 abbreviation "ACC" and ArabCooperationCouncil
(abbreviation "ACCT" AgencyForTheFrenchSpeakingCommunity) Government.kif 2763-2763 abbreviation "ACCT" and AgencyForTheFrenchSpeakingCommunity
(abbreviation "ACP Group" AfricanCaribbeanAndPacificGroupOfStates) Government.kif 2749-2749 abbreviation "ACP Group" and AfricanCaribbeanAndPacificGroupOfStates
(abbreviation "AFESD" ArabFundForEconomicAndSocialDevelopment) Government.kif 2823-2823 abbreviation "AFESD" and ArabFundForEconomicAndSocialDevelopment
(abbreviation "AL" ArabLeague) Government.kif 2831-2831 abbreviation "AL" and ArabLeague
(abbreviation "AMF" ArabMonetaryFund) Government.kif 2850-2850 abbreviation "AMF" and ArabMonetaryFund
(abbreviation "AMU" ArabMaghrebUnion) Government.kif 2841-2841 abbreviation "AMU" and ArabMaghrebUnion
(abbreviation "ANZUS" AustraliaNewZealandUnitedStatesSecurityTreaty) Government.kif 2888-2888 abbreviation "ANZUS" and AustraliaNewZealandUnitedStatesSecurityTreaty
(abbreviation "APEC" AsiaPacificEconomicCooperation) Government.kif 2856-2856 abbreviation "APEC" and AsiaPacificEconomicCooperation
(abbreviation "ARF" ASEANRegionalForum) Government.kif 2876-2876 abbreviation "ARF" and ASEANRegionalForum
(abbreviation "ASEAN" AssociationOfSoutheastAsianNations) Government.kif 2868-2868 abbreviation "ASEAN" and AssociationOfSoutheastAsianNations
(abbreviation "AfDB" AfricanDevelopmentBank) Government.kif 2754-2754 abbreviation "AfDB" and AfricanDevelopmentBank
(abbreviation "AsDB" AsianDevelopmentBank) Government.kif 2862-2862 abbreviation "AsDB" and AsianDevelopmentBank
(abbreviation "BCIE" CentralAmericanBankForEconomicIntegration) Government.kif 2948-2948 abbreviation "BCIE" and CentralAmericanBankForEconomicIntegration
(abbreviation "BDEAC" CentralAfricanStatesDevelopmentBank) Government.kif 2941-2941 abbreviation "BDEAC" and CentralAfricanStatesDevelopmentBank
(abbreviation "BIS" BankForInternationalSettlements) Government.kif 2894-2894 abbreviation "BIS" and BankForInternationalSettlements
(abbreviation "BSEC" BlackSeaEconomicCooperationZone) Government.kif 2920-2920 abbreviation "BSEC" and BlackSeaEconomicCooperationZone
(abbreviation "BVI" BritishVirginIslands) CountriesAndRegions.kif 4091-4091 abbreviation "BVI" and BritishVirginIslands
(abbreviation "Benelux" BeneluxEconomicUnion) Government.kif 2900-2900 abbreviation "Benelux" and BeneluxEconomicUnion
(abbreviation "C" CommonwealthOfNations) Government.kif 2979-2979 abbreviation "C" and CommonwealthOfNations
(abbreviation "CACM" CentralAmericanCommonMarket) Government.kif 2956-2956 abbreviation "CACM" and CentralAmericanCommonMarket
(abbreviation "CAEU" CouncilOfArabEconomicUnity) Government.kif 3013-3013 abbreviation "CAEU" and CouncilOfArabEconomicUnity
(abbreviation "CAN" AndeanCommunityOfNations) Government.kif 2784-2784 abbreviation "CAN" and AndeanCommunityOfNations
(abbreviation "CBSS" CouncilOfTheBalticSeaStates) Government.kif 3034-3034 abbreviation "CBSS" and CouncilOfTheBalticSeaStates

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