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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 26053-26059
(domain subString 1 SymbolicString) Mid-level-ontology.kif 26051-26051
(domain subString 2 SymbolicString) Mid-level-ontology.kif 26052-26052
(instance subString AntisymmetricRelation) Mid-level-ontology.kif 26047-26047
(instance subString BinaryPredicate) Mid-level-ontology.kif 26049-26049
(instance subString ReflexiveRelation) Mid-level-ontology.kif 26048-26048
(instance subString TotalValuedRelation) Mid-level-ontology.kif 26050-26050
(subrelation subString part) Mid-level-ontology.kif 26060-26060

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


(format ChineseLanguage subString "%1 是 %2 的 sub-string ") domainEnglishFormat.kif 4706-4706
(format ChineseTraditionalLanguage subString "%1 是 %2 的 sub-string ") domainEnglishFormat.kif 4705-4705
(format EnglishLanguage subString "%1 is a sub-string of %2") domainEnglishFormat.kif 4704-4704
(subrelation keyName subString) Media.kif 3265-3265
(subrelation telecomAreaCode subString) Mid-level-ontology.kif 26586-26586
(subrelation telecomCode2 subString) Mid-level-ontology.kif 26597-26597
(subrelation telecomCoreNumber subString) Mid-level-ontology.kif 26553-26553
(subrelation telecomCountryCode subString) Mid-level-ontology.kif 26571-26571
(termFormat EnglishLanguage subString "sub string") domainEnglishFormat.kif 65973-65973

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


(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))
Media.kif 3436-3441
(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (givenName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (not
        (keyName ?STRING ?NAMESTRING)))
Media.kif 3445-3450
(=>
    (and
        (subString ?S1 ?S2)
        (equal ?L1
            (StringLengthFn ?S1))
        (equal ?L2
            (StringLengthFn ?S2)))
    (lessThanOrEqualTo ?L1 ?L2))
Mid-level-ontology.kif 26062-26067
(=>
    (and
        (subString ?S1 ?S2)
        (inString ?CH ?S1))
    (inString ?CH ?S2))
Mid-level-ontology.kif 26069-26073

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 26176-26180


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