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 1328-1328
(subclass SymbolicString ContentBearingPhysical) Merge.kif 1326-1326 subclass SymbolicString and ContentBearingPhysical

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


(range EmailLocalPartFn SymbolicString) ComputingBrands.kif 2053-2053 range EmailLocalPartFn and SymbolicString
(range ReverseFn SymbolicString) Media.kif 3063-3063 range ReverseFn and SymbolicString
(range StringConcatenateFn SymbolicString) Mid-level-ontology.kif 24366-24366 range StringConcatenateFn and SymbolicString
(range SubstringFn SymbolicString) Mid-level-ontology.kif 24310-24310 range SubstringFn and SymbolicString
(subclass AOCnumber SymbolicString) Transportation.kif 3169-3169 subclass AOCnumber and SymbolicString
(subclass AccountNumber SymbolicString) Mid-level-ontology.kif 29844-29844 subclass AccountNumber and SymbolicString
(subclass AlphaNumericString SymbolicString) Media.kif 2938-2938 subclass AlphaNumericString and SymbolicString
(subclass AlphabeticString SymbolicString) Media.kif 2901-2901 subclass AlphabeticString and SymbolicString
(subclass Character SymbolicString) Merge.kif 1330-1330 subclass Character and SymbolicString
(subclass ComputerPassword SymbolicString) QoSontology.kif 2083-2083 subclass ComputerPassword and SymbolicString
(subclass DecimalDigitString SymbolicString) Media.kif 2911-2911 subclass DecimalDigitString and SymbolicString
(subclass DigitalData SymbolicString) QoSontology.kif 1851-1851 subclass DigitalData and SymbolicString
(subclass InvoiceNumber SymbolicString) Mid-level-ontology.kif 29855-29855 subclass InvoiceNumber and SymbolicString
(subclass PhysicalAddress SymbolicString) QoSontology.kif 218-218 subclass PhysicalAddress and SymbolicString
(subclass PostalAddressText SymbolicString) Mid-level-ontology.kif 24737-24737 subclass PostalAddressText and SymbolicString
(subclass PurchaseOrderNumber SymbolicString) Mid-level-ontology.kif 29928-29928 subclass PurchaseOrderNumber and SymbolicString
(subclass SearchQuery SymbolicString) UXExperimentalTerms.kif 2616-2616 subclass SearchQuery and SymbolicString
(subclass Syllable SymbolicString) Mid-level-ontology.kif 19237-19237 subclass Syllable and SymbolicString
(subclass TelecomNumber SymbolicString) Mid-level-ontology.kif 24765-24765 subclass TelecomNumber and SymbolicString
(subclass UnicodeString SymbolicString) Media.kif 1580-1580 subclass UnicodeString and SymbolicString
(subclass UserName SymbolicString) QoSontology.kif 2047-2047 subclass UserName and SymbolicString
(termFormat ChineseLanguage SymbolicString "符号串") chinese_format.kif 834-834
(termFormat EnglishLanguage SymbolicString "symbolic string") english_format.kif 870-870

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


(domain KappaFn 1 SymbolicString) Merge.kif 5549-5549 domain KappaFn, 1 and SymbolicString
(domain ReverseFn 1 SymbolicString) Media.kif 3062-3062 domain ReverseFn, 1 and SymbolicString
(domain StringConcatenateFn 1 SymbolicString) Mid-level-ontology.kif 24364-24364 domain StringConcatenateFn, 1 and SymbolicString
(domain StringConcatenateFn 2 SymbolicString) Mid-level-ontology.kif 24365-24365 domain StringConcatenateFn, 2 and SymbolicString
(domain StringLengthFn 1 SymbolicString) Mid-level-ontology.kif 24337-24337 domain StringLengthFn, 1 and SymbolicString
(domain SubstringFn 1 SymbolicString) Mid-level-ontology.kif 24307-24307 domain SubstringFn, 1 and SymbolicString
(domain abbreviatedDisplayTitle 1 SymbolicString) Media.kif 3154-3154 domain abbreviatedDisplayTitle, 1 and SymbolicString
(domain abbreviation 1 SymbolicString) Mid-level-ontology.kif 27147-27147 domain abbreviation, 1 and SymbolicString
(domain acronym 1 SymbolicString) Media.kif 3032-3032 domain acronym, 1 and SymbolicString
(domain agentName 1 SymbolicString) Media.kif 3422-3422 domain agentName, 1 and SymbolicString
(domain aimOfOrganization 2 SymbolicString) Government.kif 2586-2586 domain aimOfOrganization, 2 and SymbolicString
(domain alias 1 SymbolicString) Mid-level-ontology.kif 23157-23157 domain alias, 1 and SymbolicString
(domain alternativeTitle 1 SymbolicString) Media.kif 3122-3122 domain alternativeTitle, 1 and SymbolicString
(domain canonicalPlaceName 3 SymbolicString) Mid-level-ontology.kif 24473-24473 domain canonicalPlaceName, 3 and SymbolicString
(domain chanceryAddressInArea 2 SymbolicString) Government.kif 4734-4734 domain chanceryAddressInArea, 2 and SymbolicString
(domain chanceryFAXNumberInArea 2 SymbolicString) Government.kif 4765-4765 domain chanceryFAXNumberInArea, 2 and SymbolicString
(domain chanceryMailingAddressInArea 2 SymbolicString) Government.kif 4744-4744 domain chanceryMailingAddressInArea, 2 and SymbolicString
(domain chanceryTelephoneNumberInArea 2 SymbolicString) Government.kif 4755-4755 domain chanceryTelephoneNumberInArea, 2 and SymbolicString
(domain codeMapping 2 SymbolicString) Media.kif 2265-2265 domain codeMapping, 2 and SymbolicString
(domain comment 2 SymbolicString) Merge.kif 18204-18204 domain comment, 2 and SymbolicString
(domain comment 3 SymbolicString) Merge.kif 18205-18205 domain comment, 3 and SymbolicString
(domain componentDataID 5 SymbolicString) QoSontology.kif 901-901 domain componentDataID, 5 and SymbolicString
(domain confirmationNumber 2 SymbolicString) FinancialOntology.kif 3893-3893 domain confirmationNumber, 2 and SymbolicString
(domain conventionalLongName 1 SymbolicString) Mid-level-ontology.kif 27130-27130 domain conventionalLongName, 1 and SymbolicString
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 27142-27142 domain conventionalShortName, 1 and SymbolicString

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 24269-24274
(=>
    (instance ?STRING SymbolicString)
    (exists (?PART)
        (and
            (part ?PART ?STRING)
            (instance ?PART Character))))		 Merge.kif 1337-1342

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


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