| 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 1236-1239 | |
| (subclass Character SymbolicString) | Merge.kif 1234-1234 | subclass Character and SymbolicString |
| appearance as argument number 2 |
|
|
| (subclass AlphabeticCharacter Character) | Mid-level-ontology.kif 17247-17247 | subclass AlphabeticCharacter and Character |
| (subclass DigitCharacter Character) | Mid-level-ontology.kif 17251-17251 | subclass DigitCharacter and Character |
| (termFormat ChineseLanguage Character "字符") | chinese_format.kif 835-835 | |
| (termFormat EnglishLanguage Character "character") | english_format.kif 877-877 |
| appearance as argument number 3 |
|
|
| (domain inString 1 Character) | Mid-level-ontology.kif 22119-22119 | domain inString, 1 and Character |
| antecedent |
|
|
| (=> (and (instance ?STR AlphabeticString) (part ?CHAR ?STR) (instance ?CHAR Character)) (instance ?CHAR AlphabeticCharacter)) |
Media.kif 2874-2879 | |
| (=> (and (instance ?STR DecimalDigitString) (part ?CHAR ?STR) (instance ?CHAR Character)) (instance ?CHAR DigitCharacter)) |
Media.kif 2882-2887 | |
| (=> (and (instance ?STRING SymbolicString) (part ?CHAR ?STRING) (instance ?CHAR Character)) (inString ?CHAR ?STRING)) |
Mid-level-ontology.kif 22127-22132 |
| consequent |
|
|
| (=> (instance ?STRING SymbolicString) (exists (?PART) (and (part ?PART ?STRING) (instance ?PART Character)))) |
Merge.kif 1241-1246 | |
| (=> (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 836-845 |
|
|
|