TreeView Knowledge Base Browser

appearance as argument number 1

(instance abbreviation BinaryPredicate)	Mid-level-ontology.kif 29838-29838	abbreviation is an instance of binary predicate
(domain abbreviation 1 SymbolicString)	Mid-level-ontology.kif 29839-29839	The number 1 argument of abbreviation is an instance of symbolic string
(domain abbreviation 2 Entity)	Mid-level-ontology.kif 29840-29840	The number 2 argument of abbreviation is an instance of entity
(subrelation abbreviation conventionalShortName)	Mid-level-ontology.kif 29841-29841	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 29843-29845	abbreviation is a subrelation of acronym

appearance as argument number 2

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

consequent

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

Media.kif 3094-3098

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 "UV" RadiatingUltraviolet)	Mid-level-ontology.kif 591-591	"UV" is an abbreviation of radiating ultraviolet
(abbreviation "GUI" GraphicalUserInterface)	ComputerInput.kif 856-856	"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 4077-4077	"DDT" is an abbreviation of DDT
(abbreviation "CITES" EndangeredSpeciesConvention)	Geography.kif 4674-4674	"CITES" is an abbreviation of endangered species convention
(abbreviation "LOS" LawOfTheSeaConvention)	Geography.kif 4696-4696	"LOS" is an abbreviation of law of the sea convention
(abbreviation "kt" KnotUnitOfSpeed)	Geography.kif 5457-5457	"kt" is an abbreviation of knot unit of speed
(abbreviation "ACP Group" AfricanCaribbeanAndPacificGroupOfStates)	Government.kif 2741-2741	"ACP Group" is an abbreviation of african caribbean and pacific group of states
(abbreviation "AfDB" AfricanDevelopmentBank)	Government.kif 2746-2746	"AfDB" is an abbreviation of african development bank
(abbreviation "ACCT" AgencyForTheFrenchSpeakingCommunity)	Government.kif 2755-2755	"ACCT" is an abbreviation of agency for the french speaking community
(abbreviation "OPANAL" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean)	Government.kif 2767-2767	"OPANAL" is an abbreviation of agency for the prohibition of nuclear weapons in latin america and the caribbean
(abbreviation "CAN" AndeanCommunityOfNations)	Government.kif 2776-2776	"CAN" is an abbreviation of andean community of nations
(abbreviation "ABEDA" ArabBankForEconomicDevelopmentInAfrica)	Government.kif 2801-2801	"ABEDA" is an abbreviation of arab bank for economic development in africa
(abbreviation "ACC" ArabCooperationCouncil)	Government.kif 2809-2809	"ACC" is an abbreviation of arab cooperation council
(abbreviation "AFESD" ArabFundForEconomicAndSocialDevelopment)	Government.kif 2815-2815	"AFESD" is an abbreviation of arab fund for economic and social development
(abbreviation "AL" ArabLeague)	Government.kif 2823-2823	"AL" is an abbreviation of arab league
(abbreviation "LAS" ArabLeague)	Government.kif 2824-2824	"LAS" is an abbreviation of arab league
(abbreviation "AMU" ArabMaghrebUnion)	Government.kif 2833-2833	"AMU" is an abbreviation of arab maghreb union
(abbreviation "AMF" ArabMonetaryFund)	Government.kif 2842-2842	"AMF" is an abbreviation of arab monetary fund

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: