AlphaNumericString - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AlphaNumericString SymbolicString)	Media.kif 2885-2885	Alpha numeric string is a subclass of symbolic string
(subclass AlphaNumericString LinguisticExpression)	Media.kif 2886-2886	Alpha numeric string is a subclass of linguistic expression

appearance as argument number 2

(subclass AlphaNumericIDString AlphaNumericString)	Media.kif 2898-2898	Alpha numeric ID string is a subclass of alpha numeric string
(termFormat EnglishLanguage AlphaNumericString "alpha numeric string")	domainEnglishFormat.kif 64437-64437	Alpha numeric ID string is a subclass of alpha numeric string

antecedent

(=>
    (instance ?ANS AlphaNumericString)
    (exists (?A ?N)
        (and
            (instance ?A AlphabeticCharacter)
            (inString ?A ?ANS)
            (instance ?N DigitCharacter)
            (inString ?N ?ANS))))