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 1333-1333
(documentation SymbolicString JapaneseLanguage "英数字シーケンス の Class 。") japanese_format.kif 229-229
(documentation SymbolicString SpanishLanguage "La Class de secuencias alfanuméricas.") spanish_format.kif 271-271
(subclass SymbolicString ContentBearingPhysical) Merge.kif 1331-1331 符号串内容承载物理subclass

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


(range EmailLocalPartFn SymbolicString) ComputingBrands.kif 2053-2053 EmailLocalPartFnrange符号串 的实例
(range ReverseFn SymbolicString) Media.kif 3047-3047 ReverseFnrange符号串 的实例
(range StringConcatenateFn SymbolicString) Mid-level-ontology.kif 26139-26139 StringConcatenateFnrange符号串 的实例
(range SubstringFn SymbolicString) Mid-level-ontology.kif 26083-26083 SubstringFnrange符号串 的实例
(subclass AOCnumber SymbolicString) Transportation.kif 4073-4073 AOCnumber符号串subclass
(subclass AccountNumber SymbolicString) Mid-level-ontology.kif 31822-31822 AccountNumber符号串subclass
(subclass AlphaNumericString SymbolicString) Media.kif 2940-2940 AlphaNumericString符号串subclass
(subclass AlphabeticString SymbolicString) Media.kif 2903-2903 AlphabeticString符号串subclass
(subclass Character SymbolicString) Merge.kif 1335-1335 字符符号串subclass
(subclass ComputerPassword SymbolicString) QoSontology.kif 2215-2215 电脑密码符号串subclass
(subclass DecimalDigitString SymbolicString) Media.kif 2913-2913 DecimalDigitString符号串subclass
(subclass DigitalData SymbolicString) QoSontology.kif 1982-1982 数字数据符号串subclass
(subclass InvoiceNumber SymbolicString) Mid-level-ontology.kif 31833-31833 InvoiceNumber符号串subclass
(subclass PhysicalAddress SymbolicString) QoSontology.kif 219-219 实际地址符号串subclass
(subclass PostalAddressText SymbolicString) Mid-level-ontology.kif 26510-26510 PostalAddressText符号串subclass
(subclass PurchaseOrderNumber SymbolicString) Mid-level-ontology.kif 31906-31906 PurchaseOrderNumber符号串subclass
(subclass SearchQuery SymbolicString) UXExperimentalTerms.kif 2410-2410 SearchQuery符号串subclass
(subclass Syllable SymbolicString) Mid-level-ontology.kif 21026-21026 音节符号串subclass
(subclass TelecomNumber SymbolicString) Mid-level-ontology.kif 26538-26538 TelecomNumber符号串subclass
(subclass UnicodeString SymbolicString) Media.kif 1582-1582 UnicodeString符号串subclass
(subclass UserName SymbolicString) QoSontology.kif 2178-2178 用户名符号串subclass
(termFormat ChineseLanguage SymbolicString "符号串") chinese_format.kif 834-834 用户名符号串subclass
(termFormat EnglishLanguage SymbolicString "symbolic string") english_format.kif 870-870 用户名符号串subclass
(termFormat FrenchLanguage SymbolicString "cha�ne sympbolique") french_format.kif 510-510 用户名符号串subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain KappaFn 1 SymbolicString) Merge.kif 5592-5592 组成类别函数 的 1 数量 是 符号串instance
(domain ReverseFn 1 SymbolicString) Media.kif 3046-3046 ReverseFn 的 1 数量 是 符号串instance
(domain StringConcatenateFn 1 SymbolicString) Mid-level-ontology.kif 26137-26137 StringConcatenateFn 的 1 数量 是 符号串instance
(domain StringConcatenateFn 2 SymbolicString) Mid-level-ontology.kif 26138-26138 StringConcatenateFn 的 2 数量 是 符号串instance
(domain StringLengthFn 1 SymbolicString) Mid-level-ontology.kif 26110-26110 StringLengthFn 的 1 数量 是 符号串instance
(domain SubstringFn 1 SymbolicString) Mid-level-ontology.kif 26080-26080 SubstringFn 的 1 数量 是 符号串instance
(domain abbreviatedDisplayTitle 1 SymbolicString) Media.kif 3138-3138 abbreviatedDisplayTitle 的 1 数量 是 符号串instance
(domain abbreviation 1 SymbolicString) Mid-level-ontology.kif 29134-29134 缩写 的 1 数量 是 符号串instance
(domain acronym 1 SymbolicString) Mid-level-ontology.kif 29145-29145 acronym 的 1 数量 是 符号串instance
(domain agentName 1 SymbolicString) Media.kif 3406-3406 agentName 的 1 数量 是 符号串instance
(domain aimOfOrganization 2 SymbolicString) Government.kif 2547-2547 组织的目标 的 2 数量 是 符号串instance
(domain alias 1 SymbolicString) Mid-level-ontology.kif 24850-24850 别号 的 1 数量 是 符号串instance
(domain alternativeTitle 1 SymbolicString) Media.kif 3106-3106 alternativeTitle 的 1 数量 是 符号串instance
(domain canonicalPlaceName 3 SymbolicString) Mid-level-ontology.kif 26246-26246 canonicalPlaceName 的 3 数量 是 符号串instance
(domain chanceryAddressInArea 2 SymbolicString) Government.kif 4695-4695 地区的地址 的 2 数量 是 符号串instance
(domain chanceryFAXNumberInArea 2 SymbolicString) Government.kif 4726-4726 arearyFAX在区域内的数量 的 2 数量 是 符号串instance
(domain chanceryMailingAddressInArea 2 SymbolicString) Government.kif 4705-4705 地区的尚书邮寄地址 的 2 数量 是 符号串instance
(domain chanceryTelephoneNumberInArea 2 SymbolicString) Government.kif 4716-4716 区域内的尚书电话号码 的 2 数量 是 符号串instance
(domain codeMapping 2 SymbolicString) Media.kif 2267-2267 codeMapping 的 2 数量 是 符号串instance
(domain comment 2 SymbolicString) Merge.kif 18539-18539 注释 的 2 数量 是 符号串instance
(domain comment 3 SymbolicString) Merge.kif 18540-18540 注释 的 3 数量 是 符号串instance
(domain componentDataID 5 SymbolicString) QoSontology.kif 1010-1010 组件数据ID 的 5 数量 是 符号串instance
(domain confirmationNumber 2 SymbolicString) FinancialOntology.kif 3898-3898 确认号码 的 2 数量 是 符号串instance
(domain conventionalLongName 1 SymbolicString) Mid-level-ontology.kif 29117-29117 传统的长名 的 1 数量 是 符号串instance
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 29129-29129 传统的短名称 的 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 26042-26047
(=>
    (instance ?STRING SymbolicString)
    (exists (?PART)
        (and
            (part ?PART ?STRING)
            (instance ?PART Character))))
Merge.kif 1342-1347

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 3218-3224


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