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 abbreviation の数値 1 引数は 記号文字列instance では
(domain abbreviation 2 Entity) Mid-level-ontology.kif 29135-29135 abbreviation の数値 2 引数は エンティティーinstance では
(instance abbreviation BinaryPredicate) Mid-level-ontology.kif 29133-29133 abbreviation2進述語instance では
(subrelation abbreviation conventionalShortName) Mid-level-ontology.kif 29136-29136 abbreviationconventionalShortNamesubrelation では

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 acronymabbreviationsubrelation では
(subrelation currencyCode abbreviation) Economy.kif 3953-3953 currencyCodeabbreviationsubrelation では
(termFormat ChineseLanguage abbreviation "缩写") domainEnglishFormat.kif 5055-5055 currencyCodeabbreviationsubrelation では
(termFormat ChineseTraditionalLanguage abbreviation "縮寫") domainEnglishFormat.kif 5054-5054 currencyCodeabbreviationsubrelation では
(termFormat EnglishLanguage abbreviation "abbreviation") domainEnglishFormat.kif 5053-5053 currencyCodeabbreviationsubrelation では

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