| appearance as argument number 1 |
|
|
| (subclass Character SymbolicString) | Merge.kif 1375-1375 | Character is a subclass of symbolic string |
| (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 1377-1380 | Character is a subclass of symbolic string |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain inString 1 Character) | Mid-level-ontology.kif 26752-26752 | The number 1 argument of in string is an instance of character |
| antecedent |
|
|
| (=> (and (instance ?STR AlphabeticString) (part ?CHAR ?STR) (instance ?CHAR Character)) (instance ?CHAR AlphabeticCharacter)) |
Media.kif 2906-2911 | If X is an instance of alphabetic string, Y is a part of X, and Y is an instance of character, then Y is an instance of alphabetic character |
| (=> (and (instance ?STR DecimalDigitString) (part ?CHAR ?STR) (instance ?CHAR Character)) (instance ?CHAR DigitCharacter)) |
Media.kif 2914-2919 | If X is an instance of decimal digit string, Y is a part of X, and Y is an instance of character, then Y is an instance of digit character |
| (=> (and (instance ?STRING SymbolicString) (part ?CHAR ?STRING) (instance ?CHAR Character)) (inString ?CHAR ?STRING)) |
Mid-level-ontology.kif 26759-26764 | If X is an instance of symbolic string, Y is a part of X, and Y is an instance of character, then Y is part of X |
| consequent |
|
|
| (=> (instance ?STRING SymbolicString) (exists (?PART) (and (part ?PART ?STRING) (instance ?PART Character)))) |
Merge.kif 1382-1387 | If X is an instance of symbolic string, then there exists Y such that Y is a part of X and Y is an instance of character |
| (=> (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 675-684 | If X is an instance of written communication, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a result of X (3) Y is an instance of text (4) Z is a part of Y (5) Z is an instance of character (6) W is an instance of script (7) Z is a member of W |
|
|
|