acronym - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__acronym__m,s__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
s__domain(s__acronym__m,1,s__SymbolicString)	Media.kif 3002-3002	The number 1 argument of acronym is an instance of symbolic string
s__domain(s__acronym__m,2,s__Entity)	Media.kif 3003-3003	The number 2 argument of acronym is an instance of entity
s__instance(s__acronym__m,s__AsymmetricRelation) s__instance(s__AsymmetricRelation,s__SetOrClass)	Media.kif 3000-3000	acronym is an instance of asymmetric relation
s__instance(s__acronym__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)	Media.kif 2999-2999	acronym is an instance of binary predicate
s__instance(s__PartialValuedRelation,s__SetOrClass) s__instance(s__acronym__m,s__PartialValuedRelation)	Media.kif 3001-3001	acronym is an instance of partial valued relation
s__subrelation(s__acronym__m,s__abbreviation__m)	Media.kif 3004-3004	acronym is a subrelation of abbreviation

appearance as argument number 2

domainEnglishFormat.kif 681-681

antecedent

( ! [V__STRING,V__CHAR,V__THING] :
   ((s__instance(V__STRING,s__SymbolicString)s__and__ms__instance(V__CHAR,s__Character))
    s__=>((s__acronym(V__STRING,V__THING)
      s__and__ms__inString(V__CHAR,V__STRING))
  s__=>s__instance(V__CHAR,s__AlphabeticCharacter)))
)

Media.kif 3011-3015

appearance as argument number 0

s__acronym('FAA',s__FederalAviationAdministration)	Transportation.kif 3053-3053	"FAA" is an acronym for Federal Aviation Administration
s__acronym('IATA',s__InternationalAirTransportAssociation)	Transportation.kif 3058-3058	"IATA" is an acronym for International Air Transport Association