![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation SymbolicString ChineseLanguage "这是文数字序列的 Class 。") | chinese_format.kif 1644-1644 | |
(documentation SymbolicString EnglishLanguage "The Class of alphanumeric sequences.") | Merge.kif 1337-1337 | |
(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 1335-1335 | SymbolicString ist eine teilkategorie von ContentBearingPhysical |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain KappaFn 1 SymbolicString) | Merge.kif 5577-5577 | Die Zahl 1 Argument von KappaFn ist ein fall von SymbolicString %n{nicht} |
(domain ReverseFn 1 SymbolicString) | Media.kif 3044-3044 | Die Zahl 1 Argument von ReverseFn ist ein fall von SymbolicString %n{nicht} |
(domain StringConcatenateFn 1 SymbolicString) | Mid-level-ontology.kif 24793-24793 | Die Zahl 1 Argument von StringConcatenateFn ist ein fall von SymbolicString %n{nicht} |
(domain StringConcatenateFn 2 SymbolicString) | Mid-level-ontology.kif 24794-24794 | Die Zahl 2 Argument von StringConcatenateFn ist ein fall von SymbolicString %n{nicht} |
(domain StringLengthFn 1 SymbolicString) | Mid-level-ontology.kif 24766-24766 | Die Zahl 1 Argument von StringLengthFn ist ein fall von SymbolicString %n{nicht} |
(domain SubstringFn 1 SymbolicString) | Mid-level-ontology.kif 24736-24736 | Die Zahl 1 Argument von SubstringFn ist ein fall von SymbolicString %n{nicht} |
(domain abbreviatedDisplayTitle 1 SymbolicString) | Media.kif 3136-3136 | Die Zahl 1 Argument von abbreviatedDisplayTitle ist ein fall von SymbolicString %n{nicht} |
(domain abbreviation 1 SymbolicString) | Mid-level-ontology.kif 27529-27529 | Die Zahl 1 Argument von abbreviation ist ein fall von SymbolicString %n{nicht} |
(domain acronym 1 SymbolicString) | Mid-level-ontology.kif 27540-27540 | Die Zahl 1 Argument von acronym ist ein fall von SymbolicString %n{nicht} |
(domain agentName 1 SymbolicString) | Media.kif 3404-3404 | Die Zahl 1 Argument von agentName ist ein fall von SymbolicString %n{nicht} |
(domain aimOfOrganization 2 SymbolicString) | Government.kif 2548-2548 | Die Zahl 2 Argument von aimOfOrganization ist ein fall von SymbolicString %n{nicht} |
(domain alias 1 SymbolicString) | Mid-level-ontology.kif 23522-23522 | Die Zahl 1 Argument von alias ist ein fall von SymbolicString %n{nicht} |
(domain alternativeTitle 1 SymbolicString) | Media.kif 3104-3104 | Die Zahl 1 Argument von alternativeTitle ist ein fall von SymbolicString %n{nicht} |
(domain canonicalPlaceName 3 SymbolicString) | Mid-level-ontology.kif 24902-24902 | Die Zahl 3 Argument von canonicalPlaceName ist ein fall von SymbolicString %n{nicht} |
(domain chanceryAddressInArea 2 SymbolicString) | Government.kif 4696-4696 | Die Zahl 2 Argument von chanceryAddressInArea ist ein fall von SymbolicString %n{nicht} |
(domain chanceryFAXNumberInArea 2 SymbolicString) | Government.kif 4727-4727 | Die Zahl 2 Argument von chanceryFAXNumberInArea ist ein fall von SymbolicString %n{nicht} |
(domain chanceryMailingAddressInArea 2 SymbolicString) | Government.kif 4706-4706 | Die Zahl 2 Argument von chanceryMailingAddressInArea ist ein fall von SymbolicString %n{nicht} |
(domain chanceryTelephoneNumberInArea 2 SymbolicString) | Government.kif 4717-4717 | Die Zahl 2 Argument von chanceryTelephoneNumberInArea ist ein fall von SymbolicString %n{nicht} |
(domain codeMapping 2 SymbolicString) | Media.kif 2265-2265 | Die Zahl 2 Argument von codeMapping ist ein fall von SymbolicString %n{nicht} |
(domain comment 2 SymbolicString) | Merge.kif 18452-18452 | Die Zahl 2 Argument von comment ist ein fall von SymbolicString %n{nicht} |
(domain comment 3 SymbolicString) | Merge.kif 18453-18453 | Die Zahl 3 Argument von comment ist ein fall von SymbolicString %n{nicht} |
(domain componentDataID 5 SymbolicString) | QoSontology.kif 1007-1007 | Die Zahl 5 Argument von componentDataID ist ein fall von SymbolicString %n{nicht} |
(domain confirmationNumber 2 SymbolicString) | FinancialOntology.kif 3880-3880 | Die Zahl 2 Argument von confirmationNumber ist ein fall von SymbolicString %n{nicht} |
(domain conventionalLongName 1 SymbolicString) | Mid-level-ontology.kif 27512-27512 | Die Zahl 1 Argument von conventionalLongName ist ein fall von SymbolicString %n{nicht} |
(domain conventionalShortName 1 SymbolicString) | Mid-level-ontology.kif 27524-27524 | Die Zahl 1 Argument von conventionalShortName ist ein fall von SymbolicString %n{nicht} |
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 24698-24703 |
|
(=> (instance ?STRING SymbolicString) (exists (?PART) (and (part ?PART ?STRING) (instance ?PART Character)))) |
Merge.kif 1346-1351 |
|
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 |
|
![]() |
![]() |