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

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


(range EmailLocalPartFn SymbolicString) ComputingBrands.kif 2033-2033
(range ReverseFn SymbolicString) Media.kif 3031-3031
(range StringConcatenateFn SymbolicString) Mid-level-ontology.kif 22292-22292
(range SubstringFn SymbolicString) Mid-level-ontology.kif 22235-22235
(subclass AOCnumber SymbolicString) Transportation.kif 3147-3147
(subclass AccountNumber SymbolicString) Mid-level-ontology.kif 28154-28154
(subclass AlphaNumericString SymbolicString) Media.kif 2908-2908
(subclass AlphabeticString SymbolicString) Media.kif 2871-2871
(subclass Character SymbolicString) Merge.kif 1234-1234
(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 28165-28165
(subclass PhysicalAddress SymbolicString) QoSontology.kif 216-216
(subclass PostalAddressText SymbolicString) Mid-level-ontology.kif 22705-22705
(subclass PurchaseOrderNumber SymbolicString) Mid-level-ontology.kif 28231-28231
(subclass SearchQuery SymbolicString) UXExperimentalTerms.kif 2615-2615
(subclass Syllable SymbolicString) Mid-level-ontology.kif 17288-17288
(subclass TelecomNumber SymbolicString) Mid-level-ontology.kif 22841-22841
(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 5265-5265
(domain ReverseFn 1 SymbolicString) Media.kif 3030-3030
(domain StringConcatenateFn 1 SymbolicString) Mid-level-ontology.kif 22290-22290
(domain StringConcatenateFn 2 SymbolicString) Mid-level-ontology.kif 22291-22291
(domain StringLengthFn 1 SymbolicString) Mid-level-ontology.kif 22262-22262
(domain SubstringFn 1 SymbolicString) Mid-level-ontology.kif 22232-22232
(domain abbreviatedDisplayTitle 1 SymbolicString) Media.kif 3122-3122
(domain abbreviation 1 SymbolicString) Mid-level-ontology.kif 25544-25544
(domain acronym 1 SymbolicString) Media.kif 3002-3002
(domain agentName 1 SymbolicString) Media.kif 3390-3390
(domain aimOfOrganization 2 SymbolicString) Government.kif 2527-2527
(domain alias 1 SymbolicString) Mid-level-ontology.kif 21172-21172
(domain alternativeTitle 1 SymbolicString) Media.kif 3090-3090
(domain canonicalPlaceName 3 SymbolicString) Mid-level-ontology.kif 22438-22438
(domain chanceryAddressInArea 2 SymbolicString) Government.kif 4665-4665
(domain chanceryFAXNumberInArea 2 SymbolicString) Government.kif 4696-4696
(domain chanceryMailingAddressInArea 2 SymbolicString) Government.kif 4675-4675
(domain chanceryTelephoneNumberInArea 2 SymbolicString) Government.kif 4686-4686
(domain codeMapping 2 SymbolicString) Media.kif 2260-2260
(domain comment 2 SymbolicString) Merge.kif 16980-16980
(domain comment 3 SymbolicString) Merge.kif 16981-16981
(domain componentDataID 5 SymbolicString) QoSontology.kif 899-899
(domain confirmationNumber 2 SymbolicString) FinancialOntology.kif 3722-3722
(domain conventionalLongName 1 SymbolicString) Mid-level-ontology.kif 25527-25527
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 25539-25539

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 22179-22184
(=>
    (instance ?STRING SymbolicString)
    (exists (?PART)
        (and
            (part ?PART ?STRING)
            (instance ?PART Character))))
Merge.kif 1241-1246

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


(=>
    (codeMapping ISO-639-1 ?TOKEN ?X)
    (instance ?TOKEN SymbolicString))
Languages.kif 14693-14695
(=>
    (instance ?AN PurchaseOrderNumber)
    (exists (?PO ?BUYER ?AN ?SELLER ?ENT)
        (and
            (instance ?PO PurchaseOrder)
            (buys ?BUYER ?SELLER ?ENT)
            (instance ?AN SymbolicString)
            (uniqueIdWithRespectTo ?PO ?BUYER ?AN))))
Mid-level-ontology.kif 28233-28240
(=>
    (subtitle ?STRING ?WORKTYPE ?LANGUAGE)
    (exists (?TITLE)
        (and
            (instance ?TITLE SymbolicString)
            (instance ?TITLE LinguisticExpression)
            (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE))))
Media.kif 3202-3208


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