Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SymbolicString

Sigma KEE - SymbolicString
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 SymbolicString ist eine teilkategorie von ContentBearingPhysical

appearance as argument number 2
-------------------------


(range EmailLocalPartFn SymbolicString) ComputingBrands.kif 2053-2053 bildbereich von EmailLocalPartFn ist ein fall von SymbolicString {nicht}
(range ReverseFn SymbolicString) Media.kif 3045-3045 bildbereich von ReverseFn ist ein fall von SymbolicString {nicht}
(range StringConcatenateFn SymbolicString) Mid-level-ontology.kif 24795-24795 bildbereich von StringConcatenateFn ist ein fall von SymbolicString {nicht}
(range SubstringFn SymbolicString) Mid-level-ontology.kif 24739-24739 bildbereich von SubstringFn ist ein fall von SymbolicString {nicht}
(subclass AOCnumber SymbolicString) Transportation.kif 4069-4069 AOCnumber ist eine teilkategorie von SymbolicString
(subclass AccountNumber SymbolicString) Mid-level-ontology.kif 30217-30217 AccountNumber ist eine teilkategorie von SymbolicString
(subclass AlphaNumericString SymbolicString) Media.kif 2938-2938 AlphaNumericString ist eine teilkategorie von SymbolicString
(subclass AlphabeticString SymbolicString) Media.kif 2901-2901 AlphabeticString ist eine teilkategorie von SymbolicString
(subclass Character SymbolicString) Merge.kif 1339-1339 Character ist eine teilkategorie von SymbolicString
(subclass ComputerPassword SymbolicString) QoSontology.kif 2189-2189 ComputerPassword ist eine teilkategorie von SymbolicString
(subclass DecimalDigitString SymbolicString) Media.kif 2911-2911 DecimalDigitString ist eine teilkategorie von SymbolicString
(subclass DigitalData SymbolicString) QoSontology.kif 1957-1957 DigitalData ist eine teilkategorie von SymbolicString
(subclass InvoiceNumber SymbolicString) Mid-level-ontology.kif 30228-30228 InvoiceNumber ist eine teilkategorie von SymbolicString
(subclass PhysicalAddress SymbolicString) QoSontology.kif 218-218 PhysicalAddress ist eine teilkategorie von SymbolicString
(subclass PostalAddressText SymbolicString) Mid-level-ontology.kif 25166-25166 PostalAddressText ist eine teilkategorie von SymbolicString
(subclass PurchaseOrderNumber SymbolicString) Mid-level-ontology.kif 30301-30301 PurchaseOrderNumber ist eine teilkategorie von SymbolicString
(subclass SearchQuery SymbolicString) UXExperimentalTerms.kif 2410-2410 SearchQuery ist eine teilkategorie von SymbolicString
(subclass Syllable SymbolicString) Mid-level-ontology.kif 19745-19745 Syllable ist eine teilkategorie von SymbolicString
(subclass TelecomNumber SymbolicString) Mid-level-ontology.kif 25194-25194 TelecomNumber ist eine teilkategorie von SymbolicString
(subclass UnicodeString SymbolicString) Media.kif 1580-1580 UnicodeString ist eine teilkategorie von SymbolicString
(subclass UserName SymbolicString) QoSontology.kif 2153-2153 UserName ist eine teilkategorie von SymbolicString
(termFormat ChineseLanguage SymbolicString "符号串") chinese_format.kif 834-834 UserName ist eine teilkategorie von SymbolicString
(termFormat EnglishLanguage SymbolicString "symbolic string") english_format.kif 870-870 UserName ist eine teilkategorie von SymbolicString
(termFormat FrenchLanguage SymbolicString "cha�ne sympbolique") french_format.kif 510-510 UserName ist eine teilkategorie von SymbolicString

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 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners