Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  subString

 Sigma KEE - subString
subString

appearance as argument number 1
-------------------------


(documentation subString EnglishLanguage "(subString ?SymbolicString-1 ?SymbolicString-2) means that ?SymbolicString-1 is part of ?SymbolicString-2. ?SymbolicString-2 includes all the same Characters as ?SymbolicString-1 and in the same order, but ?SymbolicString-2 may include more Characters than ?SymbolicString-1. See also inString.") Mid-level-ontology.kif 24391-24397
(domain subString 1 SymbolicString) Mid-level-ontology.kif 24389-24389 subString 的 1 数量 是 符号串 的 instance
(domain subString 2 SymbolicString) Mid-level-ontology.kif 24390-24390 subString 的 2 数量 是 符号串 的 instance
(instance subString AntisymmetricRelation) Mid-level-ontology.kif 24385-24385 subString 是 反对称关系 的 instance
(instance subString BinaryPredicate) Mid-level-ontology.kif 24387-24387 subString 是 二元谓语 的 instance
(instance subString ReflexiveRelation) Mid-level-ontology.kif 24386-24386 subString 是 自反关系 的 instance
(instance subString TotalValuedRelation) Mid-level-ontology.kif 24388-24388 subString 是 总值关系 的 instance
(subrelation subString part) Mid-level-ontology.kif 24398-24398 subString 是 部分 的 subrelation

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


(format ChineseLanguage subString "%1 是 %2 的 sub-string ") domainEnglishFormat.kif 4702-4702
(format ChineseTraditionalLanguage subString "%1 是 %2 的 sub-string ") domainEnglishFormat.kif 4701-4701
(format EnglishLanguage subString "%1 is a sub-string of %2") domainEnglishFormat.kif 4700-4700
(subrelation keyName subString) Media.kif 3281-3281 keyName 是 subString 的 subrelation
(subrelation telecomAreaCode subString) Mid-level-ontology.kif 24924-24924 telecomAreaCode 是 subString 的 subrelation
(subrelation telecomCode2 subString) Mid-level-ontology.kif 24935-24935 telecomCode2 是 subString 的 subrelation
(subrelation telecomCoreNumber subString) Mid-level-ontology.kif 24891-24891 telecomCoreNumber 是 subString 的 subrelation
(subrelation telecomCountryCode subString) Mid-level-ontology.kif 24909-24909 telecomCountryCode 是 subString 的 subrelation
(termFormat EnglishLanguage subString "sub string") domainEnglishFormat.kif 65946-65946

antecedent
-------------------------


(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))		 Media.kif 3452-3457
(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (givenName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (not
        (keyName ?STRING ?NAMESTRING)))		 Media.kif 3461-3466
(=>
    (and
        (subString ?S1 ?S2)
        (equal ?L1
            (StringLengthFn ?S1))
        (equal ?L2
            (StringLengthFn ?S2)))
    (lessThanOrEqualTo ?L1 ?L2))		 Mid-level-ontology.kif 24400-24405
(=>
    (and
        (subString ?S1 ?S2)
        (inString ?CH ?S1))
    (inString ?CH ?S2))		 Mid-level-ontology.kif 24407-24411

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


(=>
    (browserID ?STRING ?BROWSER ?SITE)
    (exists (?WEBPAGE ?ACCESSING ?AGENT ?BPROC)
        (and
            (instance ?WEBPAGE WebPage)
            (subString ?WEBPAGE ?SITE)
            (instance ?ACCESSING AccessingWebPage)
            (instance ?AGENT AutonomousAgent)
            (agent ?ACCESSING ?AGENT)
            (programRunning ?BPROC ?BROWSER)
            (causes ?BPROC ?ACCESSING)
            (destination ?ACCESSING ?WEBPAGE)
            (represents ?STRING ?AGENT))))		 UXExperimentalTerms.kif 736-748
(=>
    (hostedOn ?LISTING ?SITE)
    (exists (?PAGE)
        (and
            (instance ?PAGE WebPage)
            (subString ?LISTING ?PAGE)
            (subString ?PAGE ?SITE))))		 UXExperimentalTerms.kif 125-131
(=>
    (precedesInString ?S1 ?S2 ?S3)
    (and
        (subString ?S1 ?S3)
        (subString ?S2 ?S3)))		 Mid-level-ontology.kif 24514-24518


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