Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


s__documentation(s__Character,s__ChineseLanguage,'"字母表中的一个元素、一组数字等。注: Character 可能是 也可能不是 Language 的一部分。 CharacterSymbolicString 的子类别,因为 Character 的每 一个实例都是一个含又单一元素的文数字序列。"')

chinese_format.kif 1645-1647
s__documentation(s__Character,s__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 1270-1273
s__instance(s__SymbolicString,s__SetOrClass)

s__subclass(s__Character,s__SymbolicString)

s__instance(s__Character,s__SetOrClass)

Merge.kif 1268-1268 Character is a subclass of symbolic string

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


s__subclass(s__AlphabeticCharacter,s__Character)

s__instance(s__AlphabeticCharacter,s__SetOrClass)

s__instance(s__Character,s__SetOrClass)

Mid-level-ontology.kif 18498-18498 Alphabetic character is a subclass of character
s__subclass(s__DigitCharacter,s__Character)

s__instance(s__DigitCharacter,s__SetOrClass)

s__instance(s__Character,s__SetOrClass)

Mid-level-ontology.kif 18502-18502 Digit character is a subclass of character
s__termFormat(s__ChineseLanguage,s__Character,'"字符"')

chinese_format.kif 835-835
s__termFormat(s__EnglishLanguage,s__Character,'"character"')

english_format.kif 877-877

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


s__domain(s__inString__m,n__1,s__Character)

Mid-level-ontology.kif 23391-23391 The number 1 argument of inString is an instance of character

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


( ! [V__CHAR,V__STR] :
   (((s__instance(V__STR,s__AlphabeticString) &
         s__part(V__CHAR,V__STR)
       &
       s__instance(V__CHAR,s__Character))
     =>
     (s__instance(V__CHAR,s__AlphabeticCharacter)))
   )
)

Media.kif 2874-2879
( ! [V__CHAR,V__STR] :
   (((s__instance(V__STR,s__DecimalDigitString) &
         s__part(V__CHAR,V__STR)
       &
       s__instance(V__CHAR,s__Character))
     =>
     (s__instance(V__CHAR,s__DigitCharacter)))
   )
)

Media.kif 2882-2887
( ! [V__STRING,V__CHAR] :
   (((s__instance(V__STRING,s__SymbolicString) &
         s__part(V__CHAR,V__STRING)
       &
       s__instance(V__CHAR,s__Character))
     =>
     (s__inString(V__CHAR,V__STRING)))
)
)

Mid-level-ontology.kif 23398-23403

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


( ! [V__STRING] :
   ((s__instance(V__STRING,s__SymbolicString) =>
       (( ? [V__PART] :
           ((s__part(V__PART,V__STRING)
             &
             s__instance(V__PART,s__Character))))))
   )
)

Merge.kif 1275-1280
( ! [V__W] :
   ((s__instance(V__W,s__WrittenCommunication) =>
       (( ? [V__T, V__C, V__S] :
           ((s__result(V__W,V__T)
             &
             s__instance(V__T,s__Text) &
             s__part(V__C,V__T)
           &
           s__instance(V__C,s__Character) &
           s__instance(V__S,s__Script) &
           s__member(V__C,V__S))))))
)
)

Mid-level-ontology.kif 623-632


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 is open source software produced by Articulate Software and its partners