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 25496-25498
(domain abbreviation 1 SymbolicString) Mid-level-ontology.kif 25492-25492 domain abbreviation, 1 and SymbolicString
(domain abbreviation 2 Entity) Mid-level-ontology.kif 25493-25493 domain abbreviation, 2 and Entity
(instance abbreviation BinaryPredicate) Mid-level-ontology.kif 25491-25491 instance abbreviation and BinaryPredicate
(subrelation abbreviation conventionalShortName) Mid-level-ontology.kif 25494-25494 subrelation abbreviation and 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 3004-3004 subrelation acronym and abbreviation
(subrelation currencyCode abbreviation) Economy.kif 3619-3619 subrelation currencyCode and abbreviation
(termFormat ChineseLanguage abbreviation "缩写") domainEnglishFormat.kif 5051-5051
(termFormat ChineseTraditionalLanguage abbreviation "縮寫") domainEnglishFormat.kif 5050-5050
(termFormat EnglishLanguage abbreviation "abbreviation") domainEnglishFormat.kif 5049-5049

consequent
-------------------------


(=>
    (and
        (abbreviatedDisplayTitle ?STRING ?CBP-TYPE ?LANGUAGE)
        (instance ?X ?CBP-TYPE))
    (abbreviation ?STRING ?X))
Media.kif 3133-3137

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


(abbreviation "ABEDA" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2740-2740 abbreviation "ABEDA" and ArabBankForEconomicDevelopmentInAfrica
(abbreviation "ACC" ArabCooperationCouncil) Government.kif 2748-2748 abbreviation "ACC" and ArabCooperationCouncil
(abbreviation "ACCT" AgencyForTheFrenchSpeakingCommunity) Government.kif 2704-2704 abbreviation "ACCT" and AgencyForTheFrenchSpeakingCommunity
(abbreviation "ACP Group" AfricanCaribbeanAndPacificGroupOfStates) Government.kif 2690-2690 abbreviation "ACP Group" and AfricanCaribbeanAndPacificGroupOfStates
(abbreviation "AFESD" ArabFundForEconomicAndSocialDevelopment) Government.kif 2754-2754 abbreviation "AFESD" and ArabFundForEconomicAndSocialDevelopment
(abbreviation "AL" ArabLeague) Government.kif 2762-2762 abbreviation "AL" and ArabLeague
(abbreviation "AMF" ArabMonetaryFund) Government.kif 2781-2781 abbreviation "AMF" and ArabMonetaryFund
(abbreviation "AMU" ArabMaghrebUnion) Government.kif 2772-2772 abbreviation "AMU" and ArabMaghrebUnion
(abbreviation "ANZUS" AustraliaNewZealandUnitedStatesSecurityTreaty) Government.kif 2819-2819 abbreviation "ANZUS" and AustraliaNewZealandUnitedStatesSecurityTreaty
(abbreviation "APEC" AsiaPacificEconomicCooperation) Government.kif 2787-2787 abbreviation "APEC" and AsiaPacificEconomicCooperation
(abbreviation "ARF" ASEANRegionalForum) Government.kif 2807-2807 abbreviation "ARF" and ASEANRegionalForum
(abbreviation "ASEAN" AssociationOfSoutheastAsianNations) Government.kif 2799-2799 abbreviation "ASEAN" and AssociationOfSoutheastAsianNations
(abbreviation "AfDB" AfricanDevelopmentBank) Government.kif 2695-2695 abbreviation "AfDB" and AfricanDevelopmentBank
(abbreviation "AsDB" AsianDevelopmentBank) Government.kif 2793-2793 abbreviation "AsDB" and AsianDevelopmentBank
(abbreviation "BCIE" CentralAmericanBankForEconomicIntegration) Government.kif 2879-2879 abbreviation "BCIE" and CentralAmericanBankForEconomicIntegration
(abbreviation "BDEAC" CentralAfricanStatesDevelopmentBank) Government.kif 2872-2872 abbreviation "BDEAC" and CentralAfricanStatesDevelopmentBank
(abbreviation "BIS" BankForInternationalSettlements) Government.kif 2825-2825 abbreviation "BIS" and BankForInternationalSettlements
(abbreviation "BSEC" BlackSeaEconomicCooperationZone) Government.kif 2851-2851 abbreviation "BSEC" and BlackSeaEconomicCooperationZone
(abbreviation "BVI" BritishVirginIslands) CountriesAndRegions.kif 4093-4093 abbreviation "BVI" and BritishVirginIslands
(abbreviation "Benelux" BeneluxEconomicUnion) Government.kif 2831-2831 abbreviation "Benelux" and BeneluxEconomicUnion
(abbreviation "C" CommonwealthOfNations) Government.kif 2910-2910 abbreviation "C" and CommonwealthOfNations
(abbreviation "CACM" CentralAmericanCommonMarket) Government.kif 2887-2887 abbreviation "CACM" and CentralAmericanCommonMarket
(abbreviation "CAEU" CouncilOfArabEconomicUnity) Government.kif 2944-2944 abbreviation "CAEU" and CouncilOfArabEconomicUnity
(abbreviation "CAN" AndeanCommunityOfNations) Government.kif 2720-2720 abbreviation "CAN" and AndeanCommunityOfNations
(abbreviation "CBSS" CouncilOfTheBalticSeaStates) Government.kif 2965-2965 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners