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 22178-22184
(domain subString 1 SymbolicString) Mid-level-ontology.kif 22176-22176 The number 1 argument of subString is an instance of symbolic string
(domain subString 2 SymbolicString) Mid-level-ontology.kif 22177-22177 The number 2 argument of subString is an instance of symbolic string
(instance subString AntisymmetricRelation) Mid-level-ontology.kif 22172-22172 subString is an instance of antisymmetric relation
(instance subString BinaryPredicate) Mid-level-ontology.kif 22174-22174 subString is an instance of binary predicate
(instance subString ReflexiveRelation) Mid-level-ontology.kif 22173-22173 subString is an instance of reflexive relation
(instance subString TotalValuedRelation) Mid-level-ontology.kif 22175-22175 subString is an instance of total valued relation
(subrelation subString part) Mid-level-ontology.kif 22185-22185 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 22867-22867 telecomAreaCode is a subrelation of subString
(subrelation telecomCode2 subString) Mid-level-ontology.kif 22878-22878 telecomCode2 is a subrelation of subString
(subrelation telecomCoreNumber subString) Mid-level-ontology.kif 22834-22834 telecomCoreNumber is a subrelation of subString
(subrelation telecomCountryCode subString) Mid-level-ontology.kif 22852-22852 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 22187-22192
(=>
    (and
        (subString ?S1 ?S2)
        (inString ?CH ?S1))
    (inString ?CH ?S2))		 Mid-level-ontology.kif 22194-22198

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


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


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