SymbolicString
|
|
appearance as argument number 1 |
(documentation SymbolicString ChineseLanguage "这是文数字序列的 Class 。") | chinese_format.kif 1644-1644 | |
(documentation SymbolicString EnglishLanguage "The Class of alphanumeric sequences.") | Merge.kif 1338-1338 | |
(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 1336-1336 | Symbolic string is a subclass of content bearing physical |
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 24435-24440 |
|
(=> (instance ?STRING SymbolicString) (exists (?PART) (and (part ?PART ?STRING) (instance ?PART Character)))) |
Merge.kif 1347-1352 |
|
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 3216-3222 |
|