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 1337-1337
(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 1335-1335 子類 SymbolicString and 內容承載物理

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


(range EmailLocalPartFn SymbolicString) ComputingBrands.kif 2053-2053 範圍 EmailLocalPartFn and SymbolicString
(range ReverseFn SymbolicString) Media.kif 3045-3045 範圍 ReverseFn and SymbolicString
(range StringConcatenateFn SymbolicString) Mid-level-ontology.kif 24795-24795 範圍 StringConcatenateFn and SymbolicString
(range SubstringFn SymbolicString) Mid-level-ontology.kif 24739-24739 範圍 SubstringFn and SymbolicString
(subclass AOCnumber SymbolicString) Transportation.kif 4069-4069 子類 AOCnumber and SymbolicString
(subclass AccountNumber SymbolicString) Mid-level-ontology.kif 30217-30217 子類 AccountNumber and SymbolicString
(subclass AlphaNumericString SymbolicString) Media.kif 2938-2938 子類 AlphaNumericString and SymbolicString
(subclass AlphabeticString SymbolicString) Media.kif 2901-2901 子類 AlphabeticString and SymbolicString
(subclass Character SymbolicString) Merge.kif 1339-1339 子類 Character and SymbolicString
(subclass ComputerPassword SymbolicString) QoSontology.kif 2189-2189 子類 電腦密碼 and SymbolicString
(subclass DecimalDigitString SymbolicString) Media.kif 2911-2911 子類 DecimalDigitString and SymbolicString
(subclass DigitalData SymbolicString) QoSontology.kif 1957-1957 子類 數字數據 and SymbolicString
(subclass InvoiceNumber SymbolicString) Mid-level-ontology.kif 30228-30228 子類 InvoiceNumber and SymbolicString
(subclass PhysicalAddress SymbolicString) QoSontology.kif 218-218 子類 實際地址 and SymbolicString
(subclass PostalAddressText SymbolicString) Mid-level-ontology.kif 25166-25166 子類 PostalAddressText and SymbolicString
(subclass PurchaseOrderNumber SymbolicString) Mid-level-ontology.kif 30301-30301 子類 PurchaseOrderNumber and SymbolicString
(subclass SearchQuery SymbolicString) UXExperimentalTerms.kif 2410-2410 子類 SearchQuery and SymbolicString
(subclass Syllable SymbolicString) Mid-level-ontology.kif 19745-19745 子類 音節 and SymbolicString
(subclass TelecomNumber SymbolicString) Mid-level-ontology.kif 25194-25194 子類 TelecomNumber and SymbolicString
(subclass UnicodeString SymbolicString) Media.kif 1580-1580 子類 UnicodeString and SymbolicString
(subclass UserName SymbolicString) QoSontology.kif 2153-2153 子類 用戶名 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 5577-5577 域 卡帕, 1 and SymbolicString
(domain ReverseFn 1 SymbolicString) Media.kif 3044-3044 域 ReverseFn, 1 and SymbolicString
(domain StringConcatenateFn 1 SymbolicString) Mid-level-ontology.kif 24793-24793 域 StringConcatenateFn, 1 and SymbolicString
(domain StringConcatenateFn 2 SymbolicString) Mid-level-ontology.kif 24794-24794 域 StringConcatenateFn, 2 and SymbolicString
(domain StringLengthFn 1 SymbolicString) Mid-level-ontology.kif 24766-24766 域 StringLengthFn, 1 and SymbolicString
(domain SubstringFn 1 SymbolicString) Mid-level-ontology.kif 24736-24736 域 SubstringFn, 1 and SymbolicString
(domain abbreviatedDisplayTitle 1 SymbolicString) Media.kif 3136-3136 域 abbreviatedDisplayTitle, 1 and SymbolicString
(domain abbreviation 1 SymbolicString) Mid-level-ontology.kif 27529-27529 域 縮寫, 1 and SymbolicString
(domain acronym 1 SymbolicString) Mid-level-ontology.kif 27540-27540 域 acronym, 1 and SymbolicString
(domain agentName 1 SymbolicString) Media.kif 3404-3404 域 agentName, 1 and SymbolicString
(domain aimOfOrganization 2 SymbolicString) Government.kif 2548-2548 域 組織的目標, 2 and SymbolicString
(domain alias 1 SymbolicString) Mid-level-ontology.kif 23522-23522 域 別號, 1 and SymbolicString
(domain alternativeTitle 1 SymbolicString) Media.kif 3104-3104 域 alternativeTitle, 1 and SymbolicString
(domain canonicalPlaceName 3 SymbolicString) Mid-level-ontology.kif 24902-24902 域 canonicalPlaceName, 3 and SymbolicString
(domain chanceryAddressInArea 2 SymbolicString) Government.kif 4696-4696 域 地區的地址, 2 and SymbolicString
(domain chanceryFAXNumberInArea 2 SymbolicString) Government.kif 4727-4727 域 arearyFAX在區域內的數量, 2 and SymbolicString
(domain chanceryMailingAddressInArea 2 SymbolicString) Government.kif 4706-4706 域 地區的尚書郵寄地址, 2 and SymbolicString
(domain chanceryTelephoneNumberInArea 2 SymbolicString) Government.kif 4717-4717 域 區域內的尚書電話號碼, 2 and SymbolicString
(domain codeMapping 2 SymbolicString) Media.kif 2265-2265 域 codeMapping, 2 and SymbolicString
(domain comment 2 SymbolicString) Merge.kif 18456-18456 域 comment, 2 and SymbolicString
(domain comment 3 SymbolicString) Merge.kif 18457-18457 域 comment, 3 and SymbolicString
(domain componentDataID 5 SymbolicString) QoSontology.kif 1007-1007 域 組件數據ID, 5 and SymbolicString
(domain confirmationNumber 2 SymbolicString) FinancialOntology.kif 3880-3880 域 確認號碼, 2 and SymbolicString
(domain conventionalLongName 1 SymbolicString) Mid-level-ontology.kif 27512-27512 域 傳統的長名, 1 and SymbolicString
(domain conventionalShortName 1 SymbolicString) Mid-level-ontology.kif 27524-27524 域 傳統的短名稱, 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 24698-24703
(=>
    (instance ?STRING SymbolicString)
    (exists (?PART)
        (and
            (part ?PART ?STRING)
            (instance ?PART Character))))		 Merge.kif 1346-1351

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 3216-3222


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