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 。") Merge.kif 1379-1379
(documentation SymbolicString EnglishLanguage "The Class of alphanumeric sequences.") Merge.kif 1378-1378
(subclass SymbolicString ContentBearingObject) Merge.kif 1377-1377 符号串有内用物体subclass

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


(range StringConcatenateFn SymbolicString) Mid-level-ontology.kif 22227-22227 StringConcatenateFnrange符号串 的实例
(range SubstringFn SymbolicString) Mid-level-ontology.kif 22170-22170 SubstringFnrange符号串 的实例
(subclass AOCnumber SymbolicString) Transportation.kif 3113-3113 AOCnumber符号串subclass
(subclass AccountNumber SymbolicString) Mid-level-ontology.kif 28096-28096 AccountNumber符号串subclass
(subclass AlphaNumericString SymbolicString) Media.kif 2908-2908 AlphaNumericString符号串subclass
(subclass AlphabeticString SymbolicString) Media.kif 2871-2871 AlphabeticString符号串subclass
(subclass Character SymbolicString) Merge.kif 1382-1382 字符符号串subclass
(subclass ComputerPassword SymbolicString) QoSontology.kif 2065-2065 ComputerPassword符号串subclass
(subclass DecimalDigitString SymbolicString) Media.kif 2881-2881 DecimalDigitString符号串subclass
(subclass DigitalData SymbolicString) QoSontology.kif 1846-1846 DigitalData符号串subclass
(subclass InvoiceNumber SymbolicString) Mid-level-ontology.kif 28108-28108 InvoiceNumber符号串subclass
(subclass PhysicalAddress SymbolicString) QoSontology.kif 213-213 PhysicalAddress符号串subclass
(subclass PostalAddressText SymbolicString) Mid-level-ontology.kif 22640-22640 PostalAddressText符号串subclass
(subclass PurchaseOrderNumber SymbolicString) Mid-level-ontology.kif 28173-28173 PurchaseOrderNumber符号串subclass
(subclass SearchQuery SymbolicString) UXExperimentalTerms.kif 2617-2617 SearchQuery符号串subclass
(subclass Syllable SymbolicString) Mid-level-ontology.kif 17234-17234 Syllable符号串subclass
(subclass TelecomNumber SymbolicString) Mid-level-ontology.kif 22776-22776 TelecomNumber符号串subclass
(subclass UnicodeString SymbolicString) Media.kif 1570-1570 UnicodeString符号串subclass
(subclass UserName SymbolicString) QoSontology.kif 2035-2035 UserName符号串subclass
(termFormat ChineseLanguage SymbolicString "符号串") chinese_format.kif 834-834 termFormat ChineseLanguage, 符号串 and "符号串"
(termFormat EnglishLanguage SymbolicString "symbolic string") english_format.kif 563-563 termFormat EnglishLanguage, 符号串 and "symbolic string"
(termFormat JapaneseLanguage SymbolicString "記号文字列") english_format.kif 564-564 termFormat JapaneseLanguage, 符号串 and "記号文字列"

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


(domain KappaFn 1 SymbolicString) Merge.kif 5695-5695 组成类别函数 的 1 数量 是 符号串instance
(domain StringConcatenateFn 1 SymbolicString) Mid-level-ontology.kif 22225-22225 StringConcatenateFn 的 1 数量 是 符号串instance
(domain StringConcatenateFn 2 SymbolicString) Mid-level-ontology.kif 22226-22226 StringConcatenateFn 的 2 数量 是 符号串instance
(domain StringLengthFn 1 SymbolicString) Mid-level-ontology.kif 22197-22197 StringLengthFn 的 1 数量 是 符号串instance
(domain SubstringFn 1 SymbolicString) Mid-level-ontology.kif 22167-22167 SubstringFn 的 1 数量 是 符号串instance
(domain abbreviatedDisplayTitle 1 SymbolicString) Media.kif 3090-3090 abbreviatedDisplayTitle 的 1 数量 是 符号串instance
(domain abbreviation 1 SymbolicString) Mid-level-ontology.kif 25487-25487 abbreviation 的 1 数量 是 符号串instance
(domain acronym 1 SymbolicString) Media.kif 3002-3002 acronym 的 1 数量 是 符号串instance
(domain agentName 1 SymbolicString) Media.kif 3358-3358 agentName 的 1 数量 是 符号串instance
(domain aimOfOrganization 2 SymbolicString) Government.kif 2533-2533 aimOfOrganization 的 2 数量 是 符号串instance
(domain alias 1 SymbolicString) Mid-level-ontology.kif 21107-21107 alias 的 1 数量 是 符号串instance
(domain alternativeTitle 1 SymbolicString) Media.kif 3058-3058 alternativeTitle 的 1 数量 是 符号串instance
(domain canonicalPlaceName 3 SymbolicString) Mid-level-ontology.kif 22373-22373 canonicalPlaceName 的 3 数量 是 符号串instance
(domain chanceryAddressInArea 2 SymbolicString) Government.kif 4670-4670 chanceryAddressInArea 的 2 数量 是 符号串instance
(domain chanceryFAXNumberInArea 2 SymbolicString) Government.kif 4701-4701 chanceryFAXNumberInArea 的 2 数量 是 符号串instance
(domain chanceryMailingAddressInArea 2 SymbolicString) Government.kif 4680-4680 chanceryMailingAddressInArea 的 2 数量 是 符号串instance
(domain chanceryTelephoneNumberInArea 2 SymbolicString) Government.kif 4691-4691 chanceryTelephoneNumberInArea 的 2 数量 是 符号串instance
(domain codeMapping 2 SymbolicString) Media.kif 2260-2260 codeMapping 的 2 数量 是 符号串instance
(domain comment 2 SymbolicString) Merge.kif 18763-18763 注释 的 2 数量 是 符号串instance
(domain comment 3 SymbolicString) Merge.kif 18764-18764 注释 的 3 数量 是 符号串instance
(domain componentDataID 5 SymbolicString) QoSontology.kif 889-889 componentDataID 的 5 数量 是 符号串instance
(domain confirmationNumber 2 SymbolicString) FinancialOntology.kif 3715-3715 confirmationNumber 的 2 数量 是 符号串instance
(domain conventionalLongName 1 SymbolicString) Mid-level-ontology.kif 25470-25470 conventionalLongName 的 1 数量 是 符号串instance
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 25482-25482 conventionalShortName 的 1 数量 是 符号串instance
(domain currencyCode 1 SymbolicString) Economy.kif 3617-3617 currencyCode 的 1 数量 是 符号串instance

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 22114-22119
(=>
    (instance ?STRING SymbolicString)
    (exists (?PART)
        (and
            (part ?PART ?STRING)
            (instance ?PART Character))))
Merge.kif 1391-1396

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


(=>
    (codeMapping ISO-639-1 ?TOKEN ?X)
    (instance ?TOKEN SymbolicString))
Languages.kif 14693-14695
(=>
    (instance ?AN AccountNumber)
    (exists (?CORPORATION ?AGENT ?NUMBER)
        (and
            (instance ?CORPORATION Corporation)
            (instance ?AGENT Agent)
            (instance ?NUMBER SymbolicString)
            (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))
Mid-level-ontology.kif 28098-28105
(=>
    (instance ?AN InvoiceNumber)
    (exists (?INVOICE ?SELLER ?NUMBER)
        (and
            (instance ?INVOICE Invoice)
            (instance ?SELLER Seller)
            (instance ?NUMBER SymbolicString)
            (uniqueIdWithRespectTo ?INVOICE ?SELLER ?NUMBER))))
Mid-level-ontology.kif 28110-28117
(=>
    (instance ?AN PurchaseOrderNumber)
    (exists (?PO ?BUYER ?NUMBER ?SELLER ?ENT)
        (and
            (instance ?PO PurchaseOrder)
            (buys ?BUYER ?SELLER ?ENT)
            (instance ?NUMBER SymbolicString)
            (uniqueIdWithRespectTo ?PO ?BUYER ?NUMBER))))
Mid-level-ontology.kif 28175-28182
(=>
    (subtitle ?STRING ?WORKTYPE ?LANGUAGE)
    (exists (?TITLE)
        (and
            (instance ?TITLE SymbolicString)
            (instance ?TITLE LinguisticExpression)
            (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE))))
Media.kif 3170-3176


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