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 。") chinese_format.kif 1644-1644
(documentation SymbolicString EnglishLanguage "The Class of alphanumeric sequences.") Merge.kif 1348-1348
(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 1346-1346 子類 SymbolicString and 內容承載物理

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


(range EmailLocalPartFn SymbolicString) ComputingBrands.kif 2053-2053 範圍 EmailLocalPartFn and SymbolicString
(range ReverseFn SymbolicString) Media.kif 3047-3047 範圍 ReverseFn and SymbolicString
(range StringConcatenateFn SymbolicString) Mid-level-ontology.kif 26137-26137 範圍 StringConcatenateFn and SymbolicString
(range SubstringFn SymbolicString) Mid-level-ontology.kif 26081-26081 範圍 SubstringFn and SymbolicString
(subclass AOCnumber SymbolicString) Transportation.kif 4075-4075 子類 AOCnumber and SymbolicString
(subclass AccountNumber SymbolicString) Mid-level-ontology.kif 31820-31820 子類 AccountNumber and SymbolicString
(subclass AlphaNumericString SymbolicString) Media.kif 2940-2940 子類 AlphaNumericString and SymbolicString
(subclass AlphabeticString SymbolicString) Media.kif 2903-2903 子類 AlphabeticString and SymbolicString
(subclass Character SymbolicString) Merge.kif 1350-1350 子類 Character and SymbolicString
(subclass ComputerPassword SymbolicString) QoSontology.kif 2215-2215 子類 電腦密碼 and SymbolicString
(subclass DecimalDigitString SymbolicString) Media.kif 2913-2913 子類 DecimalDigitString and SymbolicString
(subclass DigitalData SymbolicString) QoSontology.kif 1982-1982 子類 數字數據 and SymbolicString
(subclass InvoiceNumber SymbolicString) Mid-level-ontology.kif 31831-31831 子類 InvoiceNumber and SymbolicString
(subclass PhysicalAddress SymbolicString) QoSontology.kif 219-219 子類 實際地址 and SymbolicString
(subclass PostalAddressText SymbolicString) Mid-level-ontology.kif 26508-26508 子類 PostalAddressText and SymbolicString
(subclass PurchaseOrderNumber SymbolicString) Mid-level-ontology.kif 31904-31904 子類 PurchaseOrderNumber and SymbolicString
(subclass SearchQuery SymbolicString) UXExperimentalTerms.kif 2410-2410 子類 SearchQuery and SymbolicString
(subclass Syllable SymbolicString) Mid-level-ontology.kif 21026-21026 子類 音節 and SymbolicString
(subclass TelecomNumber SymbolicString) Mid-level-ontology.kif 26536-26536 子類 TelecomNumber and SymbolicString
(subclass UnicodeString SymbolicString) Media.kif 1582-1582 子類 UnicodeString and SymbolicString
(subclass UserName SymbolicString) QoSontology.kif 2178-2178 子類 用戶名 and SymbolicString
(termFormat ChineseLanguage SymbolicString "符号串") chinese_format.kif 834-834 子類 用戶名 and SymbolicString
(termFormat EnglishLanguage SymbolicString "symbolic string") english_format.kif 870-870 子類 用戶名 and SymbolicString
(termFormat FrenchLanguage SymbolicString "cha�ne sympbolique") french_format.kif 510-510 子類 用戶名 and SymbolicString

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 5607-5607 域 卡帕, 1 and SymbolicString
(domain ReverseFn 1 SymbolicString) Media.kif 3046-3046 域 ReverseFn, 1 and SymbolicString
(domain StringConcatenateFn 1 SymbolicString) Mid-level-ontology.kif 26135-26135 域 StringConcatenateFn, 1 and SymbolicString
(domain StringConcatenateFn 2 SymbolicString) Mid-level-ontology.kif 26136-26136 域 StringConcatenateFn, 2 and SymbolicString
(domain StringLengthFn 1 SymbolicString) Mid-level-ontology.kif 26108-26108 域 StringLengthFn, 1 and SymbolicString
(domain SubstringFn 1 SymbolicString) Mid-level-ontology.kif 26078-26078 域 SubstringFn, 1 and SymbolicString
(domain abbreviatedDisplayTitle 1 SymbolicString) Media.kif 3138-3138 域 abbreviatedDisplayTitle, 1 and SymbolicString
(domain abbreviation 1 SymbolicString) Mid-level-ontology.kif 29132-29132 域 縮寫, 1 and SymbolicString
(domain acronym 1 SymbolicString) Mid-level-ontology.kif 29143-29143 域 acronym, 1 and SymbolicString
(domain agentName 1 SymbolicString) Media.kif 3406-3406 域 agentName, 1 and SymbolicString
(domain aimOfOrganization 2 SymbolicString) Government.kif 2547-2547 域 組織的目標, 2 and SymbolicString
(domain alias 1 SymbolicString) Mid-level-ontology.kif 24848-24848 域 別號, 1 and SymbolicString
(domain alternativeTitle 1 SymbolicString) Media.kif 3106-3106 域 alternativeTitle, 1 and SymbolicString
(domain canonicalPlaceName 3 SymbolicString) Mid-level-ontology.kif 26244-26244 域 canonicalPlaceName, 3 and SymbolicString
(domain chanceryAddressInArea 2 SymbolicString) Government.kif 4695-4695 域 地區的地址, 2 and SymbolicString
(domain chanceryFAXNumberInArea 2 SymbolicString) Government.kif 4726-4726 域 arearyFAX在區域內的數量, 2 and SymbolicString
(domain chanceryMailingAddressInArea 2 SymbolicString) Government.kif 4705-4705 域 地區的尚書郵寄地址, 2 and SymbolicString
(domain chanceryTelephoneNumberInArea 2 SymbolicString) Government.kif 4716-4716 域 區域內的尚書電話號碼, 2 and SymbolicString
(domain codeMapping 2 SymbolicString) Media.kif 2267-2267 域 codeMapping, 2 and SymbolicString
(domain comment 2 SymbolicString) Merge.kif 18554-18554 域 comment, 2 and SymbolicString
(domain comment 3 SymbolicString) Merge.kif 18555-18555 域 comment, 3 and SymbolicString
(domain componentDataID 5 SymbolicString) QoSontology.kif 1010-1010 域 組件數據ID, 5 and SymbolicString
(domain confirmationNumber 2 SymbolicString) FinancialOntology.kif 3898-3898 域 確認號碼, 2 and SymbolicString
(domain conventionalLongName 1 SymbolicString) Mid-level-ontology.kif 29115-29115 域 傳統的長名, 1 and SymbolicString
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 29127-29127 域 傳統的短名稱, 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 26040-26045
(=>
    (instance ?STRING SymbolicString)
    (exists (?PART)
        (and
            (part ?PART ?STRING)
            (instance ?PART Character))))		 Merge.kif 1357-1362

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 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 3.0 is open source software produced by Articulate Software and its partners