Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Character
Character(キャラクター)

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


(documentation Character ChineseLanguage "字母表中的一个元素、一组数字等。注: Character 可能是 也可能不是 Language 的一部分。 CharacterSymbolicString 的子类别,因为 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 1352-1355
(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 1350-1350 キャラクター記号文字列subclass では

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


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

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


(domain inString 1 Character) Mid-level-ontology.kif 26033-26033 inString の数値 1 引数は キャラクターinstance では

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


(=>
    (and
        (instance ?STR AlphabeticString)
        (part ?CHAR ?STR)
        (instance ?CHAR Character))
    (instance ?CHAR AlphabeticCharacter))
Media.kif 2906-2911
(=>
    (and
        (instance ?STR DecimalDigitString)
        (part ?CHAR ?STR)
        (instance ?CHAR Character))
    (instance ?CHAR DigitCharacter))
Media.kif 2914-2919
(=>
    (and
        (instance ?STRING SymbolicString)
        (part ?CHAR ?STRING)
        (instance ?CHAR Character))
    (inString ?CHAR ?STRING))
Mid-level-ontology.kif 26040-26045

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


(=>
    (instance ?STRING SymbolicString)
    (exists (?PART)
        (and
            (part ?PART ?STRING)
            (instance ?PART Character))))
Merge.kif 1357-1362
(=>
    (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


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