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 22153-22159
(domain subString 1 SymbolicString) Mid-level-ontology.kif 22151-22151 The number 1 argument of subString is an instance of symbolic string
(domain subString 2 SymbolicString) Mid-level-ontology.kif 22152-22152 The number 2 argument of subString is an instance of symbolic string
(instance subString AntisymmetricRelation) Mid-level-ontology.kif 22147-22147 subString is an instance of antisymmetric relation
(instance subString BinaryPredicate) Mid-level-ontology.kif 22149-22149 subString is an instance of binary predicate
(instance subString ReflexiveRelation) Mid-level-ontology.kif 22148-22148 subString is an instance of reflexive relation
(instance subString TotalValuedRelation) Mid-level-ontology.kif 22150-22150 subString is an instance of total valued relation
(subrelation subString part) Mid-level-ontology.kif 22160-22160 subString is a subrelation of part

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 keyName is a subrelation of subString
(subrelation telecomAreaCode subString) Mid-level-ontology.kif 22842-22842 telecomAreaCode is a subrelation of subString
(subrelation telecomCode2 subString) Mid-level-ontology.kif 22853-22853 telecomCode2 is a subrelation of subString
(subrelation telecomCoreNumber subString) Mid-level-ontology.kif 22809-22809 telecomCoreNumber is a subrelation of subString
(subrelation telecomCountryCode subString) Mid-level-ontology.kif 22827-22827 telecomCountryCode is a subrelation of subString

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 22162-22167
(=>
    (and
        (subString ?S1 ?S2)
        (inString ?CH ?S1))
    (inString ?CH ?S2))
Mid-level-ontology.kif 22169-22173

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


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


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