Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Character
Character(character)ASCII_character, ASCII_character_set, ASCII_control_character, Altaic, Arabic_alphabet, Arabic_numeral, Aramaic, Aramaic_script, Armenian, Armenian_alphabet, Avestan, Babylonian, Brahmi, Cyrillic, Cyrillic_alphabet, Devanagari, Devanagari_script, Emmy, Greek_alphabet, Hebraic_alphabet, Hebrew_alphabet, Hebrew_script, Hindu-Arabic_numeral, Hindu_numeral, Latin_alphabet, Nagari, Nagari_script, Pahlavi, Prix_Goncourt, Prix_de_Rome, Roman_alphabet, Roman_numeral, Uighur, Uigur, Uygur, Z, accent, accent_mark, acute, acute_accent, ague, aleph, allograph, alpha, alphabet, alphabetic, alphabetical, alphameric, alphamerical, alphanumeric...

appearance as argument number 1
-------------------------


(subclass Character SymbolicString) Merge.kif 1430-1430 Character is a subclass of symbolic string
(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 Character is a subclass of symbolic string

appearance as argument number 2
-------------------------


(subclass AlphabeticCharacter Character) Mid-level-ontology.kif 21366-21366 Alphabetic character is a subclass of character
(subclass DigitCharacter Character) Mid-level-ontology.kif 21370-21370 Digit character is a subclass of character
(termFormat EnglishLanguage Character "character") english_format.kif 876-876 Digit character is a subclass of character

appearance as argument number 3
-------------------------


(domain inString 1 Character) Mid-level-ontology.kif 26670-26670 The number 1 argument of in string is an instance of character

antecedent
-------------------------


(=>
    (and
        (instance ?STRING SymbolicString)
        (part ?CHAR ?STRING)
        (instance ?CHAR Character))
    (inString ?CHAR ?STRING))		 Mid-level-ontology.kif 26677-26682 If X is an instance of symbolic string, Y is a part of X, and Y is an instance of character, then Y is part of X
(=>
    (and
        (instance ?STR AlphabeticString)
        (part ?CHAR ?STR)
        (instance ?CHAR Character))
    (instance ?CHAR AlphabeticCharacter))		 Media.kif 2851-2856 If X is an instance of alphabetic string, Y is a part of X, and Y is an instance of character, then Y is an instance of alphabetic character
(=>
    (and
        (instance ?STR DecimalDigitString)
        (part ?CHAR ?STR)
        (instance ?CHAR Character))
    (instance ?CHAR DigitCharacter))		 Media.kif 2859-2864 If X is an instance of decimal digit string, Y is a part of X, and Y is an instance of character, then Y is an instance of digit character

consequent
-------------------------


(=>
    (instance ?STRING SymbolicString)
    (exists (?PART)
        (and
            (part ?PART ?STRING)
            (instance ?PART Character))))		 Merge.kif 1437-1442 If X is an instance of symbolic string, then there exists Y such that Y is a part of X and Y is an instance of character
(=>
    (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 If X is an instance of written communication, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a result of X (3) Y is an instance of text (4) Z is a part of Y (5) Z is an instance of character (6) W is an instance of script (7) Z is a member of W


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners