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 27511-27515
(domain acronym 1 SymbolicString)	Mid-level-ontology.kif 27508-27508	Die Zahl 1 Argument von acronym ist ein fall von SymbolicString %n{nicht}
(domain acronym 2 Entity)	Mid-level-ontology.kif 27509-27509	Die Zahl 2 Argument von acronym ist ein fall von Entity %n{nicht}
(instance acronym AsymmetricRelation)	Mid-level-ontology.kif 27506-27506	acronym ist ein fall von AsymmetricRelation %n{nicht}
(instance acronym BinaryPredicate)	Mid-level-ontology.kif 27505-27505	acronym ist ein fall von BinaryPredicate %n{nicht}
(instance acronym PartialValuedRelation)	Mid-level-ontology.kif 27507-27507	acronym ist ein fall von PartialValuedRelation %n{nicht}
(subrelation acronym abbreviation)	Mid-level-ontology.kif 27510-27510	acronym ist eine teilrelation von abbreviation

appearance as argument number 2

(format ChineseLanguage acronym "%1 是对于 %2 的 acronym ")	domainEnglishFormat.kif 2682-2682
(format ChineseTraditionalLanguage acronym "%1 是對於 %2 的 acronym ")	domainEnglishFormat.kif 2681-2681
(format EnglishLanguage acronym "%1 is an acronym for %2")	domainEnglishFormat.kif 2680-2680
(termFormat EnglishLanguage acronym "acronym")	domainEnglishFormat.kif 65817-65817

antecedent

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

Mid-level-ontology.kif 27517-27521

appearance as argument number 0

(acronym "FAA" FederalAviationAdministration)	Transportation.kif 3936-3936	acronym "FAA" and FederalAviationAdministration
(acronym "IATA" InternationalAirTransportAssociation)	Transportation.kif 3941-3941	acronym "IATA" and InternationalAirTransportAssociation