SymbolicString(cha�ne sympbolique) | ![]() |
appearance as argument number 1 |
![]() |
(documentation SymbolicString ChineseLanguage "这是文数字序列的 Class 。") | chinese_format.kif 1644-1644 | |
(documentation SymbolicString EnglishLanguage "The Class of alphanumeric sequences.") | Merge.kif 1333-1333 | |
(documentation SymbolicString JapaneseLanguage "英数字シーケンス の Class 。") | japanese_format.kif 229-229 | |
(documentation SymbolicString SpanishLanguage "La Class de secuencias alfanuméricas.") | spanish_format.kif 271-271 | |
(subclass SymbolicString ContentBearingPhysical) | Merge.kif 1331-1331 | Cha�ne sympbolique est une sous-classe de ContentBearingPhysical |
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 26059-26064 |
|
(=> (instance ?STRING SymbolicString) (exists (?PART) (and (part ?PART ?STRING) (instance ?PART Character)))) |
Merge.kif 1342-1347 |
consequent |
![]() |
(=> (codeMapping ISO_639_1 ?TOKEN ?X) (instance ?TOKEN SymbolicString)) |
Languages.kif 14715-14717 |
|
(=> (subtitle ?STRING ?WORKTYPE ?LANGUAGE) (exists (?TITLE) (and (instance ?TITLE SymbolicString) (instance ?TITLE LinguisticExpression) (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE)))) |
Media.kif 3218-3224 |
![]() |
![]() |