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

Formal Language: 



KB Term:  Term intersection
English Word: 

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


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



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