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.")	Mid-level-ontology.kif 29146-29150
(domain acronym 1 SymbolicString)	Mid-level-ontology.kif 29143-29143	acronym 的 1 数量是符号串的 instance
(domain acronym 2 Entity)	Mid-level-ontology.kif 29144-29144	acronym 的 2 数量是实体的 instance
(instance acronym AsymmetricRelation)	Mid-level-ontology.kif 29141-29141	acronym 是非对称关系的 instance
(instance acronym BinaryPredicate)	Mid-level-ontology.kif 29140-29140	acronym 是二元谓语的 instance
(instance acronym PartialValuedRelation)	Mid-level-ontology.kif 29142-29142	acronym 是部分值关系的 instance
(subrelation acronym abbreviation)	Mid-level-ontology.kif 29145-29145	acronym 是缩写的 subrelation

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 29152-29156

appearance as argument number 0

(acronym "FAA" FederalAviationAdministration)	Transportation.kif 4015-4015	"FAA" 是对于 FederalAviationAdministration 的 acronym
(acronym "IATA" InternationalAirTransportAssociation)	Transportation.kif 4020-4020	"IATA" 是对于 InternationalAirTransportAssociation 的 acronym