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 |
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 24763-24763 | |
(range SubstringFn SymbolicString) | Mid-level-ontology.kif 24707-24707 | |
(subclass AOCnumber SymbolicString) | Transportation.kif 3996-3996 | |
(subclass AccountNumber SymbolicString) | Mid-level-ontology.kif 30185-30185 | |
(subclass AlphaNumericString SymbolicString) | Media.kif 2938-2938 | |
(subclass AlphabeticString SymbolicString) | Media.kif 2901-2901 | |
(subclass Character SymbolicString) | Merge.kif 1340-1340 | |
(subclass ComputerPassword SymbolicString) | QoSontology.kif 2083-2083 | |
(subclass DecimalDigitString SymbolicString) | Media.kif 2911-2911 | |
(subclass DigitalData SymbolicString) | QoSontology.kif 1851-1851 | |
(subclass InvoiceNumber SymbolicString) | Mid-level-ontology.kif 30196-30196 | |
(subclass PhysicalAddress SymbolicString) | QoSontology.kif 218-218 | |
(subclass PostalAddressText SymbolicString) | Mid-level-ontology.kif 25134-25134 | |
(subclass PurchaseOrderNumber SymbolicString) | Mid-level-ontology.kif 30269-30269 | |
(subclass SearchQuery SymbolicString) | UXExperimentalTerms.kif 2410-2410 | |
(subclass Syllable SymbolicString) | Mid-level-ontology.kif 19713-19713 | |
(subclass TelecomNumber SymbolicString) | Mid-level-ontology.kif 25162-25162 | |
(subclass UnicodeString SymbolicString) | Media.kif 1580-1580 | |
(subclass UserName SymbolicString) | QoSontology.kif 2047-2047 | |
(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 5583-5583 | |
(domain ReverseFn 1 SymbolicString) | Media.kif 3044-3044 | |
(domain StringConcatenateFn 1 SymbolicString) | Mid-level-ontology.kif 24761-24761 | |
(domain StringConcatenateFn 2 SymbolicString) | Mid-level-ontology.kif 24762-24762 | |
(domain StringLengthFn 1 SymbolicString) | Mid-level-ontology.kif 24734-24734 | |
(domain SubstringFn 1 SymbolicString) | Mid-level-ontology.kif 24704-24704 | |
(domain abbreviatedDisplayTitle 1 SymbolicString) | Media.kif 3136-3136 | |
(domain abbreviation 1 SymbolicString) | Mid-level-ontology.kif 27497-27497 | |
(domain acronym 1 SymbolicString) | Mid-level-ontology.kif 27508-27508 | |
(domain agentName 1 SymbolicString) | Media.kif 3404-3404 | |
(domain aimOfOrganization 2 SymbolicString) | Government.kif 2550-2550 | |
(domain alias 1 SymbolicString) | Mid-level-ontology.kif 23490-23490 | |
(domain alternativeTitle 1 SymbolicString) | Media.kif 3104-3104 | |
(domain canonicalPlaceName 3 SymbolicString) | Mid-level-ontology.kif 24870-24870 | |
(domain chanceryAddressInArea 2 SymbolicString) | Government.kif 4698-4698 | |
(domain chanceryFAXNumberInArea 2 SymbolicString) | Government.kif 4729-4729 | |
(domain chanceryMailingAddressInArea 2 SymbolicString) | Government.kif 4708-4708 | |
(domain chanceryTelephoneNumberInArea 2 SymbolicString) | Government.kif 4719-4719 | |
(domain codeMapping 2 SymbolicString) | Media.kif 2265-2265 | |
(domain comment 2 SymbolicString) | Merge.kif 18446-18446 | |
(domain comment 3 SymbolicString) | Merge.kif 18447-18447 | |
(domain componentDataID 5 SymbolicString) | QoSontology.kif 901-901 | |
(domain confirmationNumber 2 SymbolicString) | FinancialOntology.kif 3880-3880 | |
(domain conventionalLongName 1 SymbolicString) | Mid-level-ontology.kif 27480-27480 | |
(domain conventionalShortName 1 SymbolicString) | Mid-level-ontology.kif 27492-27492 | |
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 24666-24671 | |
(=> (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 |