acronym - Sigma Knowledge base Browser

appearance as argument number 1

(instance acronym BinaryPredicate)	Mid-level-ontology.kif 29847-29847	acronym is an instance of binary predicate
(instance acronym AsymmetricRelation)	Mid-level-ontology.kif 29848-29848	acronym is an instance of asymmetric relation
(instance acronym PartialValuedRelation)	Mid-level-ontology.kif 29849-29849	acronym is an instance of partial valued relation
(domain acronym 1 SymbolicString)	Mid-level-ontology.kif 29850-29850	The number 1 argument of acronym is an instance of symbolic string
(domain acronym 2 Entity)	Mid-level-ontology.kif 29851-29851	The number 2 argument of acronym is an instance of entity
(subrelation acronym abbreviation)	Mid-level-ontology.kif 29852-29852	acronym is a subrelation of abbreviation
(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 29853-29857	acronym is a subrelation of abbreviation

appearance as argument number 2

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

antecedent

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

If X is an acronym for Y and Z is part of X, then Z is an instance of alphabetic character

appearance as argument number 0

(acronym "FAA" FederalAviationAdministration)	Transportation.kif 4555-4555	"FAA" is an acronym for Federal Aviation Administration
(acronym "IATA" InternationalAirTransportAssociation)	Transportation.kif 4560-4560	"IATA" is an acronym for International Air Transport Association