| Character(キャラクター) | |
| 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 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 |
|
|
| 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 |
|
|
|