acronym - Sigma Knowledge base Browser

appearance as argument number 1

(documentation acronym EnglishLanguage "(acronym ?STRING ?ENTITY) means that ?STRING consists of the initial (capitalized) letters of a multiword name for ?ENTITY. Example: IBM is an acronym identifying (naming) a company for which the full name is International Business Machines.")	Media.kif 3005-3009
(domain acronym 1 SymbolicString)	Media.kif 3002-3002	domain acronym, 1 and SymbolicString
(domain acronym 2 Entity)	Media.kif 3003-3003	domain acronym, 2 and Entity
(instance acronym AsymmetricRelation)	Media.kif 3000-3000	instance acronym and AsymmetricRelation
(instance acronym BinaryPredicate)	Media.kif 2999-2999	instance acronym and BinaryPredicate
(instance acronym PartialValuedRelation)	Media.kif 3001-3001	instance acronym and PartialValuedRelation
(subrelation acronym abbreviation)	Media.kif 3004-3004	subrelation acronym and abbreviation

appearance as argument number 2

(format ChineseLanguage acronym "%1 是对于 %2 的 acronym ")	domainEnglishFormat.kif 2687-2687
(format ChineseTraditionalLanguage acronym "%1 是對於 %2 的 acronym ")	domainEnglishFormat.kif 2686-2686
(format EnglishLanguage acronym "%1 is an acronym for %2")	domainEnglishFormat.kif 2685-2685

antecedent

(=>
    (and
        (acronym ?STRING ?THING)
        (inString ?CHAR ?STRING))
    (instance ?CHAR AlphabeticCharacter))

Media.kif 3011-3015

appearance as argument number 0

(acronym "FAA" FederalAviationAdministration)	Transportation.kif 3087-3087	acronym "FAA" and FederalAviationAdministration
(acronym "IATA" InternationalAirTransportAssociation)	Transportation.kif 3092-3092	acronym "IATA" and InternationalAirTransportAssociation