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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SymbolicString

Sigma KEE - SymbolicString
SymbolicString(symbolic string)Maxwell's_equations, character_set, expression, formula, mathematical_statement, primitive, simultaneous_equations, substring, symbolic_string, 符号串, 記号文字列

appearance as argument number 1
-------------------------


(documentation SymbolicString ChineseLanguage "这是文数字序列的 Class 。") Merge.kif 1379-1379
(documentation SymbolicString EnglishLanguage "The Class of alphanumeric sequences.") Merge.kif 1378-1378
(subclass SymbolicString ContentBearingObject) Merge.kif 1377-1377 Symbolic string is a subclass of content bearing object

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


(range StringConcatenateFn SymbolicString) Mid-level-ontology.kif 22227-22227 The range of StringConcatenateFn is an instance of symbolic string
(range SubstringFn SymbolicString) Mid-level-ontology.kif 22170-22170 The range of SubstringFn is an instance of symbolic string
(subclass AOCnumber SymbolicString) Transportation.kif 3113-3113 AOC number is a subclass of symbolic string
(subclass AccountNumber SymbolicString) Mid-level-ontology.kif 28096-28096 AccountNumber is a subclass of symbolic string
(subclass AlphaNumericString SymbolicString) Media.kif 2908-2908 AlphaNumericString is a subclass of symbolic string
(subclass AlphabeticString SymbolicString) Media.kif 2871-2871 AlphabeticString is a subclass of symbolic string
(subclass Character SymbolicString) Merge.kif 1382-1382 Character is a subclass of symbolic string
(subclass ComputerPassword SymbolicString) QoSontology.kif 2065-2065 Computer password is a subclass of symbolic string
(subclass DecimalDigitString SymbolicString) Media.kif 2881-2881 DecimalDigitString is a subclass of symbolic string
(subclass DigitalData SymbolicString) QoSontology.kif 1846-1846 Digital data is a subclass of symbolic string
(subclass InvoiceNumber SymbolicString) Mid-level-ontology.kif 28108-28108 InvoiceNumber is a subclass of symbolic string
(subclass PhysicalAddress SymbolicString) QoSontology.kif 213-213 Physical address is a subclass of symbolic string
(subclass PostalAddressText SymbolicString) Mid-level-ontology.kif 22640-22640 PostalAddressText is a subclass of symbolic string
(subclass PurchaseOrderNumber SymbolicString) Mid-level-ontology.kif 28173-28173 PurchaseOrderNumber is a subclass of symbolic string
(subclass SearchQuery SymbolicString) UXExperimentalTerms.kif 2617-2617 Search query is a subclass of symbolic string
(subclass Syllable SymbolicString) Mid-level-ontology.kif 17234-17234 Syllable is a subclass of symbolic string
(subclass TelecomNumber SymbolicString) Mid-level-ontology.kif 22776-22776 TelecomNumber is a subclass of symbolic string
(subclass UnicodeString SymbolicString) Media.kif 1570-1570 UnicodeString is a subclass of symbolic string
(subclass UserName SymbolicString) QoSontology.kif 2035-2035 User name is a subclass of symbolic string
(termFormat ChineseLanguage SymbolicString "符号串") chinese_format.kif 834-834 "符号串" is the printable form of symbolic string in ChineseLanguage
(termFormat EnglishLanguage SymbolicString "symbolic string") english_format.kif 563-563 "symbolic string" is the printable form of symbolic string in english language
(termFormat JapaneseLanguage SymbolicString "記号文字列") english_format.kif 564-564 "記号文字列" is the printable form of symbolic string in japanese language

appearance as argument number 3
-------------------------


(domain KappaFn 1 SymbolicString) Merge.kif 5695-5695 The number 1 argument of kappa is an instance of symbolic string
(domain StringConcatenateFn 1 SymbolicString) Mid-level-ontology.kif 22225-22225 The number 1 argument of StringConcatenateFn is an instance of symbolic string
(domain StringConcatenateFn 2 SymbolicString) Mid-level-ontology.kif 22226-22226 The number 2 argument of StringConcatenateFn is an instance of symbolic string
(domain StringLengthFn 1 SymbolicString) Mid-level-ontology.kif 22197-22197 The number 1 argument of StringLengthFn is an instance of symbolic string
(domain SubstringFn 1 SymbolicString) Mid-level-ontology.kif 22167-22167 The number 1 argument of SubstringFn is an instance of symbolic string
(domain abbreviatedDisplayTitle 1 SymbolicString) Media.kif 3090-3090 The number 1 argument of abbreviatedDisplayTitle is an instance of symbolic string
(domain abbreviation 1 SymbolicString) Mid-level-ontology.kif 25487-25487 The number 1 argument of abbreviation is an instance of symbolic string
(domain acronym 1 SymbolicString) Media.kif 3002-3002 The number 1 argument of acronym is an instance of symbolic string
(domain agentName 1 SymbolicString) Media.kif 3358-3358 The number 1 argument of agentName is an instance of symbolic string
(domain aimOfOrganization 2 SymbolicString) Government.kif 2533-2533 The number 2 argument of aim of organization is an instance of symbolic string
(domain alias 1 SymbolicString) Mid-level-ontology.kif 21107-21107 The number 1 argument of alias is an instance of symbolic string
(domain alternativeTitle 1 SymbolicString) Media.kif 3058-3058 The number 1 argument of alternativeTitle is an instance of symbolic string
(domain canonicalPlaceName 3 SymbolicString) Mid-level-ontology.kif 22373-22373 The number 3 argument of canonicalPlaceName is an instance of symbolic string
(domain chanceryAddressInArea 2 SymbolicString) Government.kif 4670-4670 The number 2 argument of chancery address in area is an instance of symbolic string
(domain chanceryFAXNumberInArea 2 SymbolicString) Government.kif 4701-4701 The number 2 argument of chanceryFAX number in area is an instance of symbolic string
(domain chanceryMailingAddressInArea 2 SymbolicString) Government.kif 4680-4680 The number 2 argument of chancery mailing address in area is an instance of symbolic string
(domain chanceryTelephoneNumberInArea 2 SymbolicString) Government.kif 4691-4691 The number 2 argument of chancery telephone number in area is an instance of symbolic string
(domain codeMapping 2 SymbolicString) Media.kif 2260-2260 The number 2 argument of codeMapping is an instance of symbolic string
(domain comment 2 SymbolicString) Merge.kif 18763-18763 The number 2 argument of comment is an instance of symbolic string
(domain comment 3 SymbolicString) Merge.kif 18764-18764 The number 3 argument of comment is an instance of symbolic string
(domain componentDataID 5 SymbolicString) QoSontology.kif 889-889 The number 5 argument of component dataI d is an instance of symbolic string
(domain confirmationNumber 2 SymbolicString) FinancialOntology.kif 3715-3715 The number 2 argument of confirmation number is an instance of symbolic string
(domain conventionalLongName 1 SymbolicString) Mid-level-ontology.kif 25470-25470 The number 1 argument of conventional long name is an instance of symbolic string
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 25482-25482 The number 1 argument of conventional short name is an instance of symbolic string
(domain currencyCode 1 SymbolicString) Economy.kif 3617-3617 The number 1 argument of currency code is an instance of symbolic string

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 22114-22119
(=>
    (instance ?STRING SymbolicString)
    (exists (?PART)
        (and
            (part ?PART ?STRING)
            (instance ?PART Character))))
Merge.kif 1391-1396

consequent
-------------------------


(=>
    (codeMapping ISO-639-1 ?TOKEN ?X)
    (instance ?TOKEN SymbolicString))
Languages.kif 14693-14695
(=>
    (instance ?AN AccountNumber)
    (exists (?CORPORATION ?AGENT ?NUMBER)
        (and
            (instance ?CORPORATION Corporation)
            (instance ?AGENT Agent)
            (instance ?NUMBER SymbolicString)
            (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))
Mid-level-ontology.kif 28098-28105
(=>
    (instance ?AN InvoiceNumber)
    (exists (?INVOICE ?SELLER ?NUMBER)
        (and
            (instance ?INVOICE Invoice)
            (instance ?SELLER Seller)
            (instance ?NUMBER SymbolicString)
            (uniqueIdWithRespectTo ?INVOICE ?SELLER ?NUMBER))))
Mid-level-ontology.kif 28110-28117
(=>
    (instance ?AN PurchaseOrderNumber)
    (exists (?PO ?BUYER ?NUMBER ?SELLER ?ENT)
        (and
            (instance ?PO PurchaseOrder)
            (buys ?BUYER ?SELLER ?ENT)
            (instance ?NUMBER SymbolicString)
            (uniqueIdWithRespectTo ?PO ?BUYER ?NUMBER))))
Mid-level-ontology.kif 28175-28182
(=>
    (subtitle ?STRING ?WORKTYPE ?LANGUAGE)
    (exists (?TITLE)
        (and
            (instance ?TITLE SymbolicString)
            (instance ?TITLE LinguisticExpression)
            (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE))))
Media.kif 3170-3176


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners