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 22184-22190
(domain subString 1 SymbolicString) Mid-level-ontology.kif 22182-22182
(domain subString 2 SymbolicString) Mid-level-ontology.kif 22183-22183
(instance subString AntisymmetricRelation) Mid-level-ontology.kif 22178-22178
(instance subString BinaryPredicate) Mid-level-ontology.kif 22180-22180
(instance subString ReflexiveRelation) Mid-level-ontology.kif 22179-22179
(instance subString TotalValuedRelation) Mid-level-ontology.kif 22181-22181
(subrelation subString part) Mid-level-ontology.kif 22191-22191

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


(format ChineseLanguage subString "%1 是 %2 的 sub-string ") domainEnglishFormat.kif 4711-4711
(format ChineseTraditionalLanguage subString "%1 是 %2 的 sub-string ") domainEnglishFormat.kif 4710-4710
(format EnglishLanguage subString "%1 is a sub-string of %2") domainEnglishFormat.kif 4709-4709
(subrelation keyName subString) Media.kif 3251-3251
(subrelation telecomAreaCode subString) Mid-level-ontology.kif 22873-22873
(subrelation telecomCode2 subString) Mid-level-ontology.kif 22884-22884
(subrelation telecomCoreNumber subString) Mid-level-ontology.kif 22840-22840
(subrelation telecomCountryCode subString) Mid-level-ontology.kif 22858-22858

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


(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))
Media.kif 3422-3427
(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (givenName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (not
        (keyName ?STRING ?NAMESTRING)))
Media.kif 3431-3436
(=>
    (and
        (subString ?S1 ?S2)
        (equal ?L1
            (StringLengthFn ?S1))
        (equal ?L2
            (StringLengthFn ?S2)))
    (lessThanOrEqualTo ?L1 ?L2))
Mid-level-ontology.kif 22193-22198
(=>
    (and
        (subString ?S1 ?S2)
        (inString ?CH ?S1))
    (inString ?CH ?S2))
Mid-level-ontology.kif 22200-22204

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


(=>
    (precedesInString ?S1 ?S2 ?S3)
    (and
        (subString ?S1 ?S3)
        (subString ?S2 ?S3)))
Mid-level-ontology.kif 22310-22314


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