| 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 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 |
| appearance as argument number 2 |
|
|
| (subclass AlphabeticCharacter Character) | Mid-level-ontology.kif 19724-19724 | |
| (subclass DigitCharacter Character) | Mid-level-ontology.kif 19728-19728 | |
| (termFormat ChineseLanguage Character "字符") | chinese_format.kif 835-835 | |
| (termFormat EnglishLanguage Character "character") | english_format.kif 872-872 | |
| (termFormat FrenchLanguage Character "character") | french_format.kif 511-511 | |
| (termFormat Hindi Character "varNa") | terms-hindi.txt 43-43 | |
| (termFormat ItalianLanguage Character "Carattere") | terms-it.txt 46-46 | |
| (termFormat JapaneseLanguage Character "キャラクター") | japanese_format.kif 2196-2196 | |
| (termFormat PortugueseLanguage Character "Caracter") | portuguese_format.kif 463-463 | |
| (termFormat cb Character "batasan") | terms-cb.txt 48-48 | |
| (termFormat cz Character "character") | terms-cz.txt 78-78 | |
| (termFormat ro Character "caracter") | relations-ro.kif 532-532 | |
| (termFormat tg Character "sulat") | terms-tg.txt 47-47 |
| appearance as argument number 3 |
|
|
| (domain inString 1 Character) | Mid-level-ontology.kif 24659-24659 |
| antecedent |
|
|
| (=> (and (instance ?STR AlphabeticString) (part ?CHAR ?STR) (instance ?CHAR Character)) (instance ?CHAR AlphabeticCharacter)) |
Media.kif 2904-2909 | |
| (=> (and (instance ?STR DecimalDigitString) (part ?CHAR ?STR) (instance ?CHAR Character)) (instance ?CHAR DigitCharacter)) |
Media.kif 2912-2917 | |
| (=> (and (instance ?STRING SymbolicString) (part ?CHAR ?STRING) (instance ?CHAR Character)) (inString ?CHAR ?STRING)) |
Mid-level-ontology.kif 24666-24671 |
| consequent |
|
|
| (=> (instance ?STRING SymbolicString) (exists (?PART) (and (part ?PART ?STRING) (instance ?PART Character)))) |
Merge.kif 1347-1352 | |
| (=> (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 |
|
|
|