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 22205-22211
(domain subString 1 SymbolicString) Mid-level-ontology.kif 22203-22203
(domain subString 2 SymbolicString) Mid-level-ontology.kif 22204-22204
(instance subString AntisymmetricRelation) Mid-level-ontology.kif 22199-22199
(instance subString BinaryPredicate) Mid-level-ontology.kif 22201-22201
(instance subString ReflexiveRelation) Mid-level-ontology.kif 22200-22200
(instance subString TotalValuedRelation) Mid-level-ontology.kif 22202-22202
(subrelation subString part) Mid-level-ontology.kif 22212-22212

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


(format ChineseLanguage subString "%1 是 %2 的 sub-string ") domainEnglishFormat.kif 4707-4707
(format ChineseTraditionalLanguage subString "%1 是 %2 的 sub-string ") domainEnglishFormat.kif 4706-4706
(format EnglishLanguage subString "%1 is a sub-string of %2") domainEnglishFormat.kif 4705-4705
(subrelation keyName subString) Media.kif 3249-3249
(subrelation telecomAreaCode subString) Mid-level-ontology.kif 22894-22894
(subrelation telecomCode2 subString) Mid-level-ontology.kif 22905-22905
(subrelation telecomCoreNumber subString) Mid-level-ontology.kif 22861-22861
(subrelation telecomCountryCode subString) Mid-level-ontology.kif 22879-22879

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


(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))
Media.kif 3420-3425
(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (givenName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (not
        (keyName ?STRING ?NAMESTRING)))
Media.kif 3429-3434
(=>
    (and
        (subString ?S1 ?S2)
        (equal ?L1
            (StringLengthFn ?S1))
        (equal ?L2
            (StringLengthFn ?S2)))
    (lessThanOrEqualTo ?L1 ?L2))
Mid-level-ontology.kif 22214-22219
(=>
    (and
        (subString ?S1 ?S2)
        (inString ?CH ?S1))
    (inString ?CH ?S2))
Mid-level-ontology.kif 22221-22225

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners