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

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


(range EmailLocalPartFn SymbolicString) ComputingBrands.kif 2033-2033 range EmailLocalPartFn and SymbolicString
(range ReverseFn SymbolicString) Media.kif 3031-3031 range ReverseFn and SymbolicString
(range StringConcatenateFn SymbolicString) Mid-level-ontology.kif 22228-22228 range StringConcatenateFn and SymbolicString
(range SubstringFn SymbolicString) Mid-level-ontology.kif 22171-22171 range SubstringFn and SymbolicString
(subclass AOCnumber SymbolicString) Transportation.kif 3138-3138 subclass AOCnumber and SymbolicString
(subclass AccountNumber SymbolicString) Mid-level-ontology.kif 28090-28090 subclass AccountNumber and SymbolicString
(subclass AlphaNumericString SymbolicString) Media.kif 2908-2908 subclass AlphaNumericString and SymbolicString
(subclass AlphabeticString SymbolicString) Media.kif 2871-2871 subclass AlphabeticString and SymbolicString
(subclass Character SymbolicString) Merge.kif 1239-1239 subclass Character and SymbolicString
(subclass ComputerPassword SymbolicString) QoSontology.kif 2089-2089 subclass ComputerPassword and SymbolicString
(subclass DecimalDigitString SymbolicString) Media.kif 2881-2881 subclass DecimalDigitString and SymbolicString
(subclass DigitalData SymbolicString) QoSontology.kif 1857-1857 subclass DigitalData and SymbolicString
(subclass InvoiceNumber SymbolicString) Mid-level-ontology.kif 28101-28101 subclass InvoiceNumber and SymbolicString
(subclass PhysicalAddress SymbolicString) QoSontology.kif 216-216 subclass PhysicalAddress and SymbolicString
(subclass PostalAddressText SymbolicString) Mid-level-ontology.kif 22641-22641 subclass PostalAddressText and SymbolicString
(subclass PurchaseOrderNumber SymbolicString) Mid-level-ontology.kif 28167-28167 subclass PurchaseOrderNumber and SymbolicString
(subclass SearchQuery SymbolicString) UXExperimentalTerms.kif 2615-2615 subclass SearchQuery and SymbolicString
(subclass Syllable SymbolicString) Mid-level-ontology.kif 17235-17235 subclass Syllable and SymbolicString
(subclass TelecomNumber SymbolicString) Mid-level-ontology.kif 22777-22777 subclass TelecomNumber and SymbolicString
(subclass UnicodeString SymbolicString) Media.kif 1570-1570 subclass UnicodeString and SymbolicString
(subclass UserName SymbolicString) QoSontology.kif 2053-2053 subclass UserName and SymbolicString
(termFormat ChineseLanguage SymbolicString "符号串") chinese_format.kif 834-834 termFormat ChineseLanguage, SymbolicString and "符号串"
(termFormat EnglishLanguage SymbolicString "symbolic string") english_format.kif 875-875 termFormat EnglishLanguage, SymbolicString and "symbolic string"

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


(domain KappaFn 1 SymbolicString) Merge.kif 5169-5169 domain KappaFn, 1 and SymbolicString
(domain ReverseFn 1 SymbolicString) Media.kif 3030-3030 domain ReverseFn, 1 and SymbolicString
(domain StringConcatenateFn 1 SymbolicString) Mid-level-ontology.kif 22226-22226 domain StringConcatenateFn, 1 and SymbolicString
(domain StringConcatenateFn 2 SymbolicString) Mid-level-ontology.kif 22227-22227 domain StringConcatenateFn, 2 and SymbolicString
(domain StringLengthFn 1 SymbolicString) Mid-level-ontology.kif 22198-22198 domain StringLengthFn, 1 and SymbolicString
(domain SubstringFn 1 SymbolicString) Mid-level-ontology.kif 22168-22168 domain SubstringFn, 1 and SymbolicString
(domain abbreviatedDisplayTitle 1 SymbolicString) Media.kif 3122-3122 domain abbreviatedDisplayTitle, 1 and SymbolicString
(domain abbreviation 1 SymbolicString) Mid-level-ontology.kif 25480-25480 domain abbreviation, 1 and SymbolicString
(domain acronym 1 SymbolicString) Media.kif 3002-3002 domain acronym, 1 and SymbolicString
(domain agentName 1 SymbolicString) Media.kif 3390-3390 domain agentName, 1 and SymbolicString
(domain aimOfOrganization 2 SymbolicString) Government.kif 2527-2527 domain aimOfOrganization, 2 and SymbolicString
(domain alias 1 SymbolicString) Mid-level-ontology.kif 21108-21108 domain alias, 1 and SymbolicString
(domain alternativeTitle 1 SymbolicString) Media.kif 3090-3090 domain alternativeTitle, 1 and SymbolicString
(domain canonicalPlaceName 3 SymbolicString) Mid-level-ontology.kif 22374-22374 domain canonicalPlaceName, 3 and SymbolicString
(domain chanceryAddressInArea 2 SymbolicString) Government.kif 4665-4665 domain chanceryAddressInArea, 2 and SymbolicString
(domain chanceryFAXNumberInArea 2 SymbolicString) Government.kif 4696-4696 domain chanceryFAXNumberInArea, 2 and SymbolicString
(domain chanceryMailingAddressInArea 2 SymbolicString) Government.kif 4675-4675 domain chanceryMailingAddressInArea, 2 and SymbolicString
(domain chanceryTelephoneNumberInArea 2 SymbolicString) Government.kif 4686-4686 domain chanceryTelephoneNumberInArea, 2 and SymbolicString
(domain codeMapping 2 SymbolicString) Media.kif 2260-2260 domain codeMapping, 2 and SymbolicString
(domain comment 2 SymbolicString) Merge.kif 16877-16877 domain comment, 2 and SymbolicString
(domain comment 3 SymbolicString) Merge.kif 16878-16878 domain comment, 3 and SymbolicString
(domain componentDataID 5 SymbolicString) QoSontology.kif 899-899 domain componentDataID, 5 and SymbolicString
(domain confirmationNumber 2 SymbolicString) FinancialOntology.kif 3721-3721 domain confirmationNumber, 2 and SymbolicString
(domain conventionalLongName 1 SymbolicString) Mid-level-ontology.kif 25463-25463 domain conventionalLongName, 1 and SymbolicString
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 25475-25475 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 22115-22120
(=>
    (instance ?STRING SymbolicString)
    (exists (?PART)
        (and
            (part ?PART ?STRING)
            (instance ?PART Character))))		 Merge.kif 1246-1251

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 28169-28176
(=>
    (subtitle ?STRING ?WORKTYPE ?LANGUAGE)
    (exists (?TITLE)
        (and
            (instance ?TITLE SymbolicString)
            (instance ?TITLE LinguisticExpression)
            (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE))))		 Media.kif 3202-3208


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners