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 23744-23750
(domain subString 1 SymbolicString) Mid-level-ontology.kif 23742-23742
(domain subString 2 SymbolicString) Mid-level-ontology.kif 23743-23743
(instance subString AntisymmetricRelation) Mid-level-ontology.kif 23738-23738
(instance subString BinaryPredicate) Mid-level-ontology.kif 23740-23740
(instance subString ReflexiveRelation) Mid-level-ontology.kif 23739-23739
(instance subString TotalValuedRelation) Mid-level-ontology.kif 23741-23741
(subrelation subString part) Mid-level-ontology.kif 23751-23751

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 3269-3269
(subrelation telecomAreaCode subString) Mid-level-ontology.kif 24273-24273
(subrelation telecomCode2 subString) Mid-level-ontology.kif 24284-24284
(subrelation telecomCoreNumber subString) Mid-level-ontology.kif 24240-24240
(subrelation telecomCountryCode subString) Mid-level-ontology.kif 24258-24258

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


(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))
Media.kif 3440-3445
(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (givenName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (not
        (keyName ?STRING ?NAMESTRING)))
Media.kif 3449-3454
(=>
    (and
        (subString ?S1 ?S2)
        (equal ?L1
            (StringLengthFn ?S1))
        (equal ?L2
            (StringLengthFn ?S2)))
    (lessThanOrEqualTo ?L1 ?L2))
Mid-level-ontology.kif 23753-23758
(=>
    (and
        (subString ?S1 ?S2)
        (inString ?CH ?S1))
    (inString ?CH ?S2))
Mid-level-ontology.kif 23760-23764

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


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


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