TreeView 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 3035-3039
(domain acronym 1 SymbolicString)	Media.kif 3032-3032	acronym の数値 1 引数は記号文字列の instance では %n
(domain acronym 2 Entity)	Media.kif 3033-3033	acronym の数値 2 引数はエンティティーの instance では %n
(instance acronym AsymmetricRelation)	Media.kif 3030-3030	acronym は非対称関係の instance では %n
(instance acronym BinaryPredicate)	Media.kif 3029-3029	acronym は 2進述語の instance では %n
(instance acronym PartialValuedRelation)	Media.kif 3031-3031	acronym は部分的価値関係の instance では %n
(subrelation acronym abbreviation)	Media.kif 3034-3034	acronym は abbreviation の subrelation では %n

appearance as argument number 2

(format ChineseLanguage acronym "%1 是对于 %2 的 acronym ")	domainEnglishFormat.kif 2690-2690
(format ChineseTraditionalLanguage acronym "%1 是對於 %2 的 acronym ")	domainEnglishFormat.kif 2689-2689
(format EnglishLanguage acronym "%1 is an acronym for %2")	domainEnglishFormat.kif 2688-2688
(termFormat EnglishLanguage acronym "acronym")	domainEnglishFormat.kif 65769-65769

antecedent

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

Media.kif 3041-3045

appearance as argument number 0

(acronym "FAA" FederalAviationAdministration)	Transportation.kif 3109-3109	acronym "FAA" and FederalAviationAdministration
(acronym "IATA" InternationalAirTransportAssociation)	Transportation.kif 3114-3114	acronym "IATA" and InternationalAirTransportAssociation