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 24711-24717
(domain subString 1 SymbolicString) Mid-level-ontology.kif 24709-24709 Die Zahl 1 Argument von subString ist ein fall von SymbolicString %n{nicht}
(domain subString 2 SymbolicString) Mid-level-ontology.kif 24710-24710 Die Zahl 2 Argument von subString ist ein fall von SymbolicString %n{nicht}
(instance subString AntisymmetricRelation) Mid-level-ontology.kif 24705-24705 subString ist ein fall von AntisymmetricRelation %n{nicht}
(instance subString BinaryPredicate) Mid-level-ontology.kif 24707-24707 subString ist ein fall von BinaryPredicate %n{nicht}
(instance subString ReflexiveRelation) Mid-level-ontology.kif 24706-24706 subString ist ein fall von ReflexiveRelation %n{nicht}
(instance subString TotalValuedRelation) Mid-level-ontology.kif 24708-24708 subString ist ein fall von TotalValuedRelation %n{nicht}
(subrelation subString part) Mid-level-ontology.kif 24718-24718 subString ist eine teilrelation von teil

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 3263-3263 keyName ist eine teilrelation von subString
(subrelation telecomAreaCode subString) Mid-level-ontology.kif 25244-25244 telecomAreaCode ist eine teilrelation von subString
(subrelation telecomCode2 subString) Mid-level-ontology.kif 25255-25255 telecomCode2 ist eine teilrelation von subString
(subrelation telecomCoreNumber subString) Mid-level-ontology.kif 25211-25211 telecomCoreNumber ist eine teilrelation von subString
(subrelation telecomCountryCode subString) Mid-level-ontology.kif 25229-25229 telecomCountryCode ist eine teilrelation von subString
(termFormat EnglishLanguage subString "sub string") domainEnglishFormat.kif 66006-66006 telecomCountryCode ist eine teilrelation von subString

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


(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))
Media.kif 3434-3439
(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (givenName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (not
        (keyName ?STRING ?NAMESTRING)))
Media.kif 3443-3448
(=>
    (and
        (subString ?S1 ?S2)
        (equal ?L1
            (StringLengthFn ?S1))
        (equal ?L2
            (StringLengthFn ?S2)))
    (lessThanOrEqualTo ?L1 ?L2))
Mid-level-ontology.kif 24720-24725
(=>
    (and
        (subString ?S1 ?S2)
        (inString ?CH ?S1))
    (inString ?CH ?S2))
Mid-level-ontology.kif 24727-24731

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 24834-24838


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