SymbolicString(symbolic string) | ![]() | Maxwell's_equations, character_set, expression, formula, mathematical_statement, primitive, simultaneous_equations, substring, symbolic_string, 符号串, 記号文字列 |
appearance as argument number 1 |
![]() |
(documentation SymbolicString ChineseLanguage "这是文数字序列的 Class 。") | chinese_format.kif 1644-1644 | |
(documentation SymbolicString EnglishLanguage "The Class of alphanumeric sequences.") | Merge.kif 1237-1237 | |
(subclass SymbolicString ContentBearingObject) | Merge.kif 1235-1235 | Symbolic string is a subclass of content bearing object |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
antecedent |
![]() |
(=> (and (instance ?STRING SymbolicString) (part ?CHAR ?STRING) (instance ?CHAR Character)) (inString ?CHAR ?STRING)) |
Mid-level-ontology.kif 22115-22120 |
|
(=> (instance ?STRING SymbolicString) (exists (?PART) (and (part ?PART ?STRING) (instance ?PART Character)))) |
Merge.kif 1246-1251 |
|
consequent |
![]() |
![]() |
![]() |