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 19493-19493 | Alphabetic character is a subclass of character |
(subclass DigitCharacter Character) | Mid-level-ontology.kif 19497-19497 | Digit character is a subclass of character |
(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 24428-24428 | The number 1 argument of in string is an instance of character |
antecedent |
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 |
|