Character - Sigma Knowledge base Browser

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

(documentation Character ChineseLanguage "字母表中的一个元素、一组数字等。注： Character 可能是也可能不是 Language 的一部分。 Character 是 SymbolicString 的子类别，因为 Character 的每一个实例都是一个含又单一元素的文数字序列。")	chinese_format.kif 1645-1647
(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 1342-1345
(documentation Character JapaneseLanguage "アルファベットの要素、数字のセットなど。　注： Character は、%Language の一部である場合とそうでない場合がある。 Character は、 %SymbolicString のサブクラスである。　これは、Character のすべてのインスタンスが単一の要素で構成される英数字シーケンスだからである。")	japanese_format.kif 230-233
(documentation Character SpanishLanguage "Un elemento de un abecedario, un conjunto de números, etc. Note que un Character puede o no ser parte un Language. Character es una subclase de SymbolicString, porque cada instancia de Character es una secuencia que consiste de un único elemento.")	spanish_format.kif 272-275
(subclass Character SymbolicString)	Merge.kif 1340-1340	Character is a subclass of symbolic string

appearance as argument number 2

(subclass AlphabeticCharacter Character)	Mid-level-ontology.kif 19724-19724	Alphabetic character is a subclass of character
(subclass DigitCharacter Character)	Mid-level-ontology.kif 19728-19728	Digit character is a subclass of character
(termFormat ChineseLanguage Character "字符")	chinese_format.kif 835-835	Digit character is a subclass of character
(termFormat EnglishLanguage Character "character")	english_format.kif 872-872	Digit character is a subclass of character
(termFormat FrenchLanguage Character "character")	french_format.kif 511-511	Digit character is a subclass of character
(termFormat Hindi Character "varNa")	terms-hindi.txt 43-43	Digit character is a subclass of character
(termFormat ItalianLanguage Character "Carattere")	terms-it.txt 46-46	Digit character is a subclass of character
(termFormat JapaneseLanguage Character "キャラクター")	japanese_format.kif 2196-2196	Digit character is a subclass of character
(termFormat PortugueseLanguage Character "Caracter")	portuguese_format.kif 463-463	Digit character is a subclass of character
(termFormat cb Character "batasan")	terms-cb.txt 48-48	Digit character is a subclass of character
(termFormat cz Character "character")	terms-cz.txt 78-78	Digit character is a subclass of character
(termFormat ro Character "caracter")	relations-ro.kif 532-532	Digit character is a subclass of character
(termFormat tg Character "sulat")	terms-tg.txt 47-47	Digit character is a subclass of character

appearance as argument number 3

(domain inString 1 Character)

Mid-level-ontology.kif 24659-24659

The number 1 argument of in string is an instance of character

antecedent

(=> (and (instance ?STR AlphabeticString) (part ?CHAR ?STR) (instance ?CHAR Character)) (instance ?CHAR AlphabeticCharacter))	Media.kif 2904-2909	If an object is an instance of alphabetic string and another object is a part of the object and the other object is an instance of character, then the other object is an instance of alphabetic character
(=> (and (instance ?STR DecimalDigitString) (part ?CHAR ?STR) (instance ?CHAR Character)) (instance ?CHAR DigitCharacter))	Media.kif 2912-2917	If an object is an instance of decimal digit string and another object is a part of the object and the other object is an instance of character, then the other object is an instance of digit character
(=> (and (instance ?STRING SymbolicString) (part ?CHAR ?STRING) (instance ?CHAR Character)) (inString ?CHAR ?STRING))	Mid-level-ontology.kif 24666-24671	If a symbolic string is an instance of symbolic string and a character is a part of the symbolic string and the character is an instance of character, then the character is part of the symbolic string

consequent

(=> (instance ?STRING SymbolicString) (exists (?PART) (and (part ?PART ?STRING) (instance ?PART Character))))	Merge.kif 1347-1352	If an object is an instance of symbolic string, then there exists another object such that the other object is a part of the object and the other object 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 672-681	If a process is an instance of written communication, then there exist an object, another object and a collection such that the object is a result of the process and the object is an instance of text and the other object is a part of the object and the other object is an instance of character and the collection is an instance of script and the other object is a member of the collection

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