|
|
   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 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 |
| appearance as argument number 2 |
|
|
| (range EmailLocalPartFn SymbolicString) | ComputingBrands.kif 2053-2053 | |
| (range ReverseFn SymbolicString) | Media.kif 3045-3045 | |
| (range StringConcatenateFn SymbolicString) | Mid-level-ontology.kif 24795-24795 | |
| (range SubstringFn SymbolicString) | Mid-level-ontology.kif 24739-24739 | |
| (subclass AOCnumber SymbolicString) | Transportation.kif 4069-4069 | |
| (subclass AccountNumber SymbolicString) | Mid-level-ontology.kif 30217-30217 | |
| (subclass AlphaNumericString SymbolicString) | Media.kif 2938-2938 | |
| (subclass AlphabeticString SymbolicString) | Media.kif 2901-2901 | |
| (subclass Character SymbolicString) | Merge.kif 1339-1339 | |
| (subclass ComputerPassword SymbolicString) | QoSontology.kif 2189-2189 | |
| (subclass DecimalDigitString SymbolicString) | Media.kif 2911-2911 | |
| (subclass DigitalData SymbolicString) | QoSontology.kif 1957-1957 | |
| (subclass InvoiceNumber SymbolicString) | Mid-level-ontology.kif 30228-30228 | |
| (subclass PhysicalAddress SymbolicString) | QoSontology.kif 218-218 | |
| (subclass PostalAddressText SymbolicString) | Mid-level-ontology.kif 25166-25166 | |
| (subclass PurchaseOrderNumber SymbolicString) | Mid-level-ontology.kif 30301-30301 | |
| (subclass SearchQuery SymbolicString) | UXExperimentalTerms.kif 2410-2410 | |
| (subclass Syllable SymbolicString) | Mid-level-ontology.kif 19745-19745 | |
| (subclass TelecomNumber SymbolicString) | Mid-level-ontology.kif 25194-25194 | |
| (subclass UnicodeString SymbolicString) | Media.kif 1580-1580 | |
| (subclass UserName SymbolicString) | QoSontology.kif 2153-2153 | |
| (termFormat ChineseLanguage SymbolicString "符号串") | chinese_format.kif 834-834 | |
| (termFormat EnglishLanguage SymbolicString "symbolic string") | english_format.kif 870-870 | |
| (termFormat FrenchLanguage SymbolicString "cha�ne sympbolique") | french_format.kif 510-510 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| (domain KappaFn 1 SymbolicString) | Merge.kif 5577-5577 | |
| (domain ReverseFn 1 SymbolicString) | Media.kif 3044-3044 | |
| (domain StringConcatenateFn 1 SymbolicString) | Mid-level-ontology.kif 24793-24793 | |
| (domain StringConcatenateFn 2 SymbolicString) | Mid-level-ontology.kif 24794-24794 | |
| (domain StringLengthFn 1 SymbolicString) | Mid-level-ontology.kif 24766-24766 | |
| (domain SubstringFn 1 SymbolicString) | Mid-level-ontology.kif 24736-24736 | |
| (domain abbreviatedDisplayTitle 1 SymbolicString) | Media.kif 3136-3136 | |
| (domain abbreviation 1 SymbolicString) | Mid-level-ontology.kif 27529-27529 | |
| (domain acronym 1 SymbolicString) | Mid-level-ontology.kif 27540-27540 | |
| (domain agentName 1 SymbolicString) | Media.kif 3404-3404 | |
| (domain aimOfOrganization 2 SymbolicString) | Government.kif 2548-2548 | |
| (domain alias 1 SymbolicString) | Mid-level-ontology.kif 23522-23522 | |
| (domain alternativeTitle 1 SymbolicString) | Media.kif 3104-3104 | |
| (domain canonicalPlaceName 3 SymbolicString) | Mid-level-ontology.kif 24902-24902 | |
| (domain chanceryAddressInArea 2 SymbolicString) | Government.kif 4696-4696 | |
| (domain chanceryFAXNumberInArea 2 SymbolicString) | Government.kif 4727-4727 | |
| (domain chanceryMailingAddressInArea 2 SymbolicString) | Government.kif 4706-4706 | |
| (domain chanceryTelephoneNumberInArea 2 SymbolicString) | Government.kif 4717-4717 | |
| (domain codeMapping 2 SymbolicString) | Media.kif 2265-2265 | |
| (domain comment 2 SymbolicString) | Merge.kif 18456-18456 | |
| (domain comment 3 SymbolicString) | Merge.kif 18457-18457 | |
| (domain componentDataID 5 SymbolicString) | QoSontology.kif 1007-1007 | |
| (domain confirmationNumber 2 SymbolicString) | FinancialOntology.kif 3880-3880 | |
| (domain conventionalLongName 1 SymbolicString) | Mid-level-ontology.kif 27512-27512 | |
| (domain conventionalShortName 1 SymbolicString) | Mid-level-ontology.kif 27524-27524 | |
| 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 |
|
|
|