|
|
   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 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 | Zeichenfolge ist eine teilkategorie von ContentBearingPhysical |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain KappaFn 1 SymbolicString) | Merge.kif 5592-5592 | Die Zahl 1 Argument von KappaFn ist ein fall von Zeichenfolge |
| (domain ReverseFn 1 SymbolicString) | Media.kif 3046-3046 | Die Zahl 1 Argument von ReverseFn ist ein fall von Zeichenfolge |
| (domain StringConcatenateFn 1 SymbolicString) | Mid-level-ontology.kif 26137-26137 | Die Zahl 1 Argument von StringConcatenateFn ist ein fall von Zeichenfolge |
| (domain StringConcatenateFn 2 SymbolicString) | Mid-level-ontology.kif 26138-26138 | Die Zahl 2 Argument von StringConcatenateFn ist ein fall von Zeichenfolge |
| (domain StringLengthFn 1 SymbolicString) | Mid-level-ontology.kif 26110-26110 | Die Zahl 1 Argument von StringLengthFn ist ein fall von Zeichenfolge |
| (domain SubstringFn 1 SymbolicString) | Mid-level-ontology.kif 26080-26080 | Die Zahl 1 Argument von SubstringFn ist ein fall von Zeichenfolge |
| (domain abbreviatedDisplayTitle 1 SymbolicString) | Media.kif 3138-3138 | Die Zahl 1 Argument von abbreviatedDisplayTitle ist ein fall von Zeichenfolge |
| (domain abbreviation 1 SymbolicString) | Mid-level-ontology.kif 29134-29134 | Die Zahl 1 Argument von abbreviation ist ein fall von Zeichenfolge |
| (domain acronym 1 SymbolicString) | Mid-level-ontology.kif 29145-29145 | Die Zahl 1 Argument von acronym ist ein fall von Zeichenfolge |
| (domain agentName 1 SymbolicString) | Media.kif 3406-3406 | Die Zahl 1 Argument von agentName ist ein fall von Zeichenfolge |
| (domain aimOfOrganization 2 SymbolicString) | Government.kif 2547-2547 | Die Zahl 2 Argument von aimOfOrganization ist ein fall von Zeichenfolge |
| (domain alias 1 SymbolicString) | Mid-level-ontology.kif 24850-24850 | Die Zahl 1 Argument von alias ist ein fall von Zeichenfolge |
| (domain alternativeTitle 1 SymbolicString) | Media.kif 3106-3106 | Die Zahl 1 Argument von alternativeTitle ist ein fall von Zeichenfolge |
| (domain canonicalPlaceName 3 SymbolicString) | Mid-level-ontology.kif 26246-26246 | Die Zahl 3 Argument von canonicalPlaceName ist ein fall von Zeichenfolge |
| (domain chanceryAddressInArea 2 SymbolicString) | Government.kif 4695-4695 | Die Zahl 2 Argument von chanceryAddressInArea ist ein fall von Zeichenfolge |
| (domain chanceryFAXNumberInArea 2 SymbolicString) | Government.kif 4726-4726 | Die Zahl 2 Argument von chanceryFAXNumberInArea ist ein fall von Zeichenfolge |
| (domain chanceryMailingAddressInArea 2 SymbolicString) | Government.kif 4705-4705 | Die Zahl 2 Argument von chanceryMailingAddressInArea ist ein fall von Zeichenfolge |
| (domain chanceryTelephoneNumberInArea 2 SymbolicString) | Government.kif 4716-4716 | Die Zahl 2 Argument von chanceryTelephoneNumberInArea ist ein fall von Zeichenfolge |
| (domain codeMapping 2 SymbolicString) | Media.kif 2267-2267 | Die Zahl 2 Argument von codeMapping ist ein fall von Zeichenfolge |
| (domain comment 2 SymbolicString) | Merge.kif 18539-18539 | Die Zahl 2 Argument von comment ist ein fall von Zeichenfolge |
| (domain comment 3 SymbolicString) | Merge.kif 18540-18540 | Die Zahl 3 Argument von comment ist ein fall von Zeichenfolge |
| (domain componentDataID 5 SymbolicString) | QoSontology.kif 1010-1010 | Die Zahl 5 Argument von componentDataID ist ein fall von Zeichenfolge |
| (domain confirmationNumber 2 SymbolicString) | FinancialOntology.kif 3898-3898 | Die Zahl 2 Argument von confirmationNumber ist ein fall von Zeichenfolge |
| (domain conventionalLongName 1 SymbolicString) | Mid-level-ontology.kif 29117-29117 | Die Zahl 1 Argument von conventionalLongName ist ein fall von Zeichenfolge |
| (domain conventionalShortName 1 SymbolicString) | Mid-level-ontology.kif 29129-29129 | Die Zahl 1 Argument von conventionalShortName ist ein fall von Zeichenfolge |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (=> (and (instance ?STRING SymbolicString) (part ?CHAR ?STRING) (instance ?CHAR Character)) (inString ?CHAR ?STRING)) |
Mid-level-ontology.kif 26042-26047 |
|
| (=> (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 |
|
|
|
|