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 EmailLocalPartFn 的 range 是 符号串 的实例
(range ReverseFn SymbolicString) Media.kif 3047-3047 ReverseFn 的 range 是 符号串 的实例
(range StringConcatenateFn SymbolicString) Mid-level-ontology.kif 26139-26139 StringConcatenateFn 的 range 是 符号串 的实例
(range SubstringFn SymbolicString) Mid-level-ontology.kif 26083-26083 SubstringFn 的 range 是 符号串 的实例
(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