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 1266-1266
(subclass SymbolicString ContentBearingObject) Merge.kif 1264-1264

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


(range EmailLocalPartFn SymbolicString) ComputingBrands.kif 2020-2020
(range ReverseFn SymbolicString) Media.kif 3033-3033
(range StringConcatenateFn SymbolicString) Mid-level-ontology.kif 23496-23496
(range SubstringFn SymbolicString) Mid-level-ontology.kif 23439-23439
(subclass AOCnumber SymbolicString) Transportation.kif 3176-3176
(subclass AccountNumber SymbolicString) Mid-level-ontology.kif 28986-28986
(subclass AlphaNumericString SymbolicString) Media.kif 2908-2908
(subclass AlphabeticString SymbolicString) Media.kif 2871-2871
(subclass Character SymbolicString) Merge.kif 1268-1268
(subclass ComputerPassword SymbolicString) QoSontology.kif 2089-2089
(subclass DecimalDigitString SymbolicString) Media.kif 2881-2881
(subclass DigitalData SymbolicString) QoSontology.kif 1857-1857
(subclass InvoiceNumber SymbolicString) Mid-level-ontology.kif 28997-28997
(subclass PhysicalAddress SymbolicString) QoSontology.kif 216-216
(subclass PostalAddressText SymbolicString) Mid-level-ontology.kif 23864-23864
(subclass PurchaseOrderNumber SymbolicString) Mid-level-ontology.kif 29062-29062
(subclass SearchQuery SymbolicString) UXExperimentalTerms.kif 2620-2620
(subclass Syllable SymbolicString) Mid-level-ontology.kif 18487-18487
(subclass TelecomNumber SymbolicString) Mid-level-ontology.kif 23892-23892
(subclass UnicodeString SymbolicString) Media.kif 1570-1570
(subclass UserName SymbolicString) QoSontology.kif 2053-2053
(termFormat ChineseLanguage SymbolicString "符号串") chinese_format.kif 834-834
(termFormat EnglishLanguage SymbolicString "symbolic string") english_format.kif 875-875

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


(domain KappaFn 1 SymbolicString) Merge.kif 5377-5377
(domain ReverseFn 1 SymbolicString) Media.kif 3032-3032
(domain StringConcatenateFn 1 SymbolicString) Mid-level-ontology.kif 23494-23494
(domain StringConcatenateFn 2 SymbolicString) Mid-level-ontology.kif 23495-23495
(domain StringLengthFn 1 SymbolicString) Mid-level-ontology.kif 23466-23466
(domain SubstringFn 1 SymbolicString) Mid-level-ontology.kif 23436-23436
(domain abbreviatedDisplayTitle 1 SymbolicString) Media.kif 3124-3124
(domain abbreviation 1 SymbolicString) Mid-level-ontology.kif 26271-26271
(domain acronym 1 SymbolicString) Media.kif 3002-3002
(domain agentName 1 SymbolicString) Media.kif 3392-3392
(domain aimOfOrganization 2 SymbolicString) Government.kif 2572-2572
(domain alias 1 SymbolicString) Mid-level-ontology.kif 22297-22297
(domain alternativeTitle 1 SymbolicString) Media.kif 3092-3092
(domain canonicalPlaceName 3 SymbolicString) Mid-level-ontology.kif 23601-23601
(domain chanceryAddressInArea 2 SymbolicString) Government.kif 4710-4710
(domain chanceryFAXNumberInArea 2 SymbolicString) Government.kif 4741-4741
(domain chanceryMailingAddressInArea 2 SymbolicString) Government.kif 4720-4720
(domain chanceryTelephoneNumberInArea 2 SymbolicString) Government.kif 4731-4731
(domain codeMapping 2 SymbolicString) Media.kif 2260-2260
(domain comment 2 SymbolicString) Merge.kif 17635-17635
(domain comment 3 SymbolicString) Merge.kif 17636-17636
(domain componentDataID 5 SymbolicString) QoSontology.kif 899-899
(domain confirmationNumber 2 SymbolicString) FinancialOntology.kif 3791-3791
(domain conventionalLongName 1 SymbolicString) Mid-level-ontology.kif 26254-26254
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 26266-26266

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 23398-23403
(=>
    (instance ?STRING SymbolicString)
    (exists (?PART)
        (and
            (part ?PART ?STRING)
            (instance ?PART Character))))
Merge.kif 1275-1280

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


(=>
    (codeMapping ISO-639-1 ?TOKEN ?X)
    (instance ?TOKEN SymbolicString))
Languages.kif 14693-14695
(=>
    (subtitle ?STRING ?WORKTYPE ?LANGUAGE)
    (exists (?TITLE)
        (and
            (instance ?TITLE SymbolicString)
            (instance ?TITLE LinguisticExpression)
            (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE))))
Media.kif 3204-3210


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