Character - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Character SymbolicString)	Merge.kif 1430-1430
(documentation Character EnglishLanguage "An element of an alphabet, a set of numerals, etc. Note that a Character may or may not be part of a Language. Character is a subclass of SymbolicString, because every instance of Character is an alphanumeric sequence consisting of a single element.")	Merge.kif 1432-1435

appearance as argument number 2

(subclass AlphabeticCharacter Character)	Mid-level-ontology.kif 21320-21320
(subclass DigitCharacter Character)	Mid-level-ontology.kif 21324-21324
(termFormat EnglishLanguage Character "character")	english_format.kif 876-876

appearance as argument number 3

(domain inString 1 Character)

antecedent

(=>
    (and
        (instance ?STRING SymbolicString)
        (part ?CHAR ?STRING)
        (instance ?CHAR Character))
    (inString ?CHAR ?STRING))

consequent

(=> (instance ?STRING SymbolicString) (exists (?PART) (and (part ?PART ?STRING) (instance ?PART Character))))	Merge.kif 1437-1442
(=> (instance ?W WrittenCommunication) (exists (?T ?C ?S) (and (result ?W ?T) (instance ?T Text) (part ?C ?T) (instance ?C Character) (instance ?S Script) (member ?C ?S))))	Mid-level-ontology.kif 662-671