abbreviation - Sigma Knowledge base Browser

appearance as argument number 1

(instance abbreviation BinaryPredicate)	Mid-level-ontology.kif 29877-29877	abbreviation is an instance of binary predicate
(domain abbreviation 1 SymbolicString)	Mid-level-ontology.kif 29878-29878	The number 1 argument of abbreviation is an instance of symbolic string
(domain abbreviation 2 Entity)	Mid-level-ontology.kif 29879-29879	The number 2 argument of abbreviation is an instance of entity
(subrelation abbreviation conventionalShortName)	Mid-level-ontology.kif 29880-29880	abbreviation is a subrelation of acronym
(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 29882-29884	abbreviation is a subrelation of acronym

appearance as argument number 2

(subrelation currencyCode abbreviation)	Economy.kif 3948-3948	currency code is a subrelation of abbreviation
(subrelation acronym abbreviation)	Mid-level-ontology.kif 29891-29891	acronym is a subrelation of abbreviation
(format EnglishLanguage abbreviation "%1 is %n an abbreviation of %2")	domainEnglishFormat.kif 14-14	acronym is a subrelation of abbreviation
(format ChineseTraditionalLanguage abbreviation "%2 %n 是 %1 的簡稱")	domainEnglishFormat.kif 15-15	acronym is a subrelation of abbreviation
(format ChineseLanguage abbreviation "%2 %n 是 %1 的简称")	domainEnglishFormat.kif 16-16	acronym is a subrelation of abbreviation
(termFormat EnglishLanguage abbreviation "abbreviation")	domainEnglishFormat.kif 5053-5053	acronym is a subrelation of abbreviation
(termFormat ChineseTraditionalLanguage abbreviation "縮寫")	domainEnglishFormat.kif 5054-5054	acronym is a subrelation of abbreviation
(termFormat ChineseLanguage abbreviation "缩写")	domainEnglishFormat.kif 5055-5055	acronym is a subrelation of abbreviation

consequent

(=>
    (and
        (abbreviatedDisplayTitle ?STRING ?CBP_TYPE ?LANGUAGE)
        (instance ?X ?CBP_TYPE))
    (abbreviation ?STRING ?X))

Media.kif 3149-3153

If X is the short title of ?CBP_TYPE in Z and W is an instance of ?CBP_TYPE, then X is an abbreviation of W

appearance as argument number 0

(abbreviation "GUI" GraphicalUserInterface)	ComputerInput.kif 840-840	"GUI" is an abbreviation of graphical user interface
(abbreviation "UK" UnitedKingdom)	CountriesAndRegions.kif 4062-4062	"UK" is an abbreviation of united kingdom
(abbreviation "BVI" BritishVirginIslands)	CountriesAndRegions.kif 4091-4091	"BVI" is an abbreviation of british virgin islands
(abbreviation "ROC" Taiwan)	CountriesAndRegions.kif 4156-4156	"ROC" is an abbreviation of taiwan
(abbreviation "LDC" LessDevelopedCountry)	Economy.kif 227-227	"LDC" is an abbreviation of less developed country
(abbreviation "NIE" NewlyIndustrializingEconomy)	Economy.kif 361-361	"NIE" is an abbreviation of newly industrializing economy
(abbreviation "LLDC" LeastDevelopedCountry)	Economy.kif 404-404	"LLDC" is an abbreviation of least developed country
(abbreviation "kWh" KilowattHour)	Economy.kif 2236-2236	"kWh" is an abbreviation of kilowatt hour
(abbreviation "DDT" DDT)	Geography.kif 4096-4096	"DDT" is an abbreviation of DDT
(abbreviation "CITES" EndangeredSpeciesConvention)	Geography.kif 4690-4690	"CITES" is an abbreviation of endangered species convention
(abbreviation "LOS" LawOfTheSeaConvention)	Geography.kif 4712-4712	"LOS" is an abbreviation of law of the sea convention
(abbreviation "kt" KnotUnitOfSpeed)	Geography.kif 5486-5486	"kt" is an abbreviation of knot unit of speed
(abbreviation "ACP Group" AfricanCaribbeanAndPacificGroupOfStates)	Government.kif 2730-2730	"ACP Group" is an abbreviation of african caribbean and pacific group of states
(abbreviation "AfDB" AfricanDevelopmentBank)	Government.kif 2735-2735	"AfDB" is an abbreviation of african development bank
(abbreviation "ACCT" AgencyForTheFrenchSpeakingCommunity)	Government.kif 2744-2744	"ACCT" is an abbreviation of agency for the french speaking community
(abbreviation "OPANAL" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean)	Government.kif 2756-2756	"OPANAL" is an abbreviation of agency for the prohibition of nuclear weapons in latin america and the caribbean
(abbreviation "CAN" AndeanCommunityOfNations)	Government.kif 2765-2765	"CAN" is an abbreviation of andean community of nations
(abbreviation "ABEDA" ArabBankForEconomicDevelopmentInAfrica)	Government.kif 2790-2790	"ABEDA" is an abbreviation of arab bank for economic development in africa
(abbreviation "ACC" ArabCooperationCouncil)	Government.kif 2798-2798	"ACC" is an abbreviation of arab cooperation council
(abbreviation "AFESD" ArabFundForEconomicAndSocialDevelopment)	Government.kif 2804-2804	"AFESD" is an abbreviation of arab fund for economic and social development
(abbreviation "AL" ArabLeague)	Government.kif 2812-2812	"AL" is an abbreviation of arab league
(abbreviation "LAS" ArabLeague)	Government.kif 2813-2813	"LAS" is an abbreviation of arab league
(abbreviation "AMU" ArabMaghrebUnion)	Government.kif 2822-2822	"AMU" is an abbreviation of arab maghreb union
(abbreviation "AMF" ArabMonetaryFund)	Government.kif 2831-2831	"AMF" is an abbreviation of arab monetary fund
(abbreviation "APEC" AsiaPacificEconomicCooperation)	Government.kif 2837-2837	"APEC" is an abbreviation of asia pacific economic cooperation

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

KB Term:			Term intersection

English Word: