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 22517-22523
(domain subString 1 SymbolicString) Mid-level-ontology.kif 22515-22515
(domain subString 2 SymbolicString) Mid-level-ontology.kif 22516-22516
(instance subString AntisymmetricRelation) Mid-level-ontology.kif 22511-22511
(instance subString BinaryPredicate) Mid-level-ontology.kif 22513-22513
(instance subString ReflexiveRelation) Mid-level-ontology.kif 22512-22512
(instance subString TotalValuedRelation) Mid-level-ontology.kif 22514-22514
(subrelation subString part) Mid-level-ontology.kif 22524-22524

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 23047-23047
(subrelation telecomCode2 subString) Mid-level-ontology.kif 23058-23058
(subrelation telecomCoreNumber subString) Mid-level-ontology.kif 23014-23014
(subrelation telecomCountryCode subString) Mid-level-ontology.kif 23032-23032

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 22526-22531
(=>
    (and
        (subString ?S1 ?S2)
        (inString ?CH ?S1))
    (inString ?CH ?S2))
Mid-level-ontology.kif 22533-22537

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


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


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