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 1297-1297
(subclass SymbolicString ContentBearingObject) Merge.kif 1295-1295 subclass SymbolicString and ContentBearingObject

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


(range EmailLocalPartFn SymbolicString) ComputingBrands.kif 2021-2021 range EmailLocalPartFn and SymbolicString
(range ReverseFn SymbolicString) Media.kif 3051-3051 range ReverseFn and SymbolicString
(range StringConcatenateFn SymbolicString) Mid-level-ontology.kif 23852-23852 range StringConcatenateFn and SymbolicString
(range SubstringFn SymbolicString) Mid-level-ontology.kif 23796-23796 range SubstringFn and SymbolicString
(subclass AOCnumber SymbolicString) Transportation.kif 3176-3176 subclass AOCnumber and SymbolicString
(subclass AccountNumber SymbolicString) Mid-level-ontology.kif 29340-29340 subclass AccountNumber and SymbolicString
(subclass AlphaNumericString SymbolicString) Media.kif 2926-2926 subclass AlphaNumericString and SymbolicString
(subclass AlphabeticString SymbolicString) Media.kif 2889-2889 subclass AlphabeticString and SymbolicString
(subclass Character SymbolicString) Merge.kif 1299-1299 subclass Character and SymbolicString
(subclass ComputerPassword SymbolicString) QoSontology.kif 2088-2088 subclass ComputerPassword and SymbolicString
(subclass DecimalDigitString SymbolicString) Media.kif 2899-2899 subclass DecimalDigitString and SymbolicString
(subclass DigitalData SymbolicString) QoSontology.kif 1856-1856 subclass DigitalData and SymbolicString
(subclass InvoiceNumber SymbolicString) Mid-level-ontology.kif 29351-29351 subclass InvoiceNumber and SymbolicString
(subclass PhysicalAddress SymbolicString) QoSontology.kif 216-216 subclass PhysicalAddress and SymbolicString
(subclass PostalAddressText SymbolicString) Mid-level-ontology.kif 24220-24220 subclass PostalAddressText and SymbolicString
(subclass PurchaseOrderNumber SymbolicString) Mid-level-ontology.kif 29416-29416 subclass PurchaseOrderNumber and SymbolicString
(subclass SearchQuery SymbolicString) UXExperimentalTerms.kif 2620-2620 subclass SearchQuery and SymbolicString
(subclass Syllable SymbolicString) Mid-level-ontology.kif 18830-18830 subclass Syllable and SymbolicString
(subclass TelecomNumber SymbolicString) Mid-level-ontology.kif 24248-24248 subclass TelecomNumber and SymbolicString
(subclass UnicodeString SymbolicString) Media.kif 1566-1566 subclass UnicodeString and SymbolicString
(subclass UserName SymbolicString) QoSontology.kif 2052-2052 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 5488-5488 domain KappaFn, 1 and SymbolicString
(domain ReverseFn 1 SymbolicString) Media.kif 3050-3050 domain ReverseFn, 1 and SymbolicString
(domain StringConcatenateFn 1 SymbolicString) Mid-level-ontology.kif 23850-23850 domain StringConcatenateFn, 1 and SymbolicString
(domain StringConcatenateFn 2 SymbolicString) Mid-level-ontology.kif 23851-23851 domain StringConcatenateFn, 2 and SymbolicString
(domain StringLengthFn 1 SymbolicString) Mid-level-ontology.kif 23823-23823 domain StringLengthFn, 1 and SymbolicString
(domain SubstringFn 1 SymbolicString) Mid-level-ontology.kif 23793-23793 domain SubstringFn, 1 and SymbolicString
(domain abbreviatedDisplayTitle 1 SymbolicString) Media.kif 3142-3142 domain abbreviatedDisplayTitle, 1 and SymbolicString
(domain abbreviation 1 SymbolicString) Mid-level-ontology.kif 26625-26625 domain abbreviation, 1 and SymbolicString
(domain acronym 1 SymbolicString) Media.kif 3020-3020 domain acronym, 1 and SymbolicString
(domain agentName 1 SymbolicString) Media.kif 3410-3410 domain agentName, 1 and SymbolicString
(domain aimOfOrganization 2 SymbolicString) Government.kif 2583-2583 domain aimOfOrganization, 2 and SymbolicString
(domain alias 1 SymbolicString) Mid-level-ontology.kif 22654-22654 domain alias, 1 and SymbolicString
(domain alternativeTitle 1 SymbolicString) Media.kif 3110-3110 domain alternativeTitle, 1 and SymbolicString
(domain canonicalPlaceName 3 SymbolicString) Mid-level-ontology.kif 23957-23957 domain canonicalPlaceName, 3 and SymbolicString
(domain chanceryAddressInArea 2 SymbolicString) Government.kif 4726-4726 domain chanceryAddressInArea, 2 and SymbolicString
(domain chanceryFAXNumberInArea 2 SymbolicString) Government.kif 4757-4757 domain chanceryFAXNumberInArea, 2 and SymbolicString
(domain chanceryMailingAddressInArea 2 SymbolicString) Government.kif 4736-4736 domain chanceryMailingAddressInArea, 2 and SymbolicString
(domain chanceryTelephoneNumberInArea 2 SymbolicString) Government.kif 4747-4747 domain chanceryTelephoneNumberInArea, 2 and SymbolicString
(domain codeMapping 2 SymbolicString) Media.kif 2256-2256 domain codeMapping, 2 and SymbolicString
(domain comment 2 SymbolicString) Merge.kif 18106-18106 domain comment, 2 and SymbolicString
(domain comment 3 SymbolicString) Merge.kif 18107-18107 domain comment, 3 and SymbolicString
(domain componentDataID 5 SymbolicString) QoSontology.kif 899-899 domain componentDataID, 5 and SymbolicString
(domain confirmationNumber 2 SymbolicString) FinancialOntology.kif 3832-3832 domain confirmationNumber, 2 and SymbolicString
(domain conventionalLongName 1 SymbolicString) Mid-level-ontology.kif 26608-26608 domain conventionalLongName, 1 and SymbolicString
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 26620-26620 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 23755-23760
(=>
    (instance ?STRING SymbolicString)
    (exists (?PART)
        (and
            (part ?PART ?STRING)
            (instance ?PART Character))))		 Merge.kif 1306-1311

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


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