subString - Sigma Knowledge base Browser

appearance as argument number 1

(instance subString AntisymmetricRelation)	Mid-level-ontology.kif 26638-26638	sub string is an instance of antisymmetric relation
(instance subString ReflexiveRelation)	Mid-level-ontology.kif 26639-26639	sub string is an instance of reflexive relation
(instance subString BinaryPredicate)	Mid-level-ontology.kif 26640-26640	sub string is an instance of binary predicate
(instance subString TotalValuedRelation)	Mid-level-ontology.kif 26641-26641	sub string is an instance of total valued relation
(domain subString 1 SymbolicString)	Mid-level-ontology.kif 26642-26642	The number 1 argument of sub string is an instance of symbolic string
(domain subString 2 SymbolicString)	Mid-level-ontology.kif 26643-26643	The number 2 argument of sub string is an instance of symbolic string
(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 26644-26650	The number 2 argument of sub string is an instance of symbolic string
(subrelation subString part)	Mid-level-ontology.kif 26651-26651	sub string is a subrelation of part

appearance as argument number 2

(subrelation telecomCoreNumber subString)	Mid-level-ontology.kif 27127-27127	telecom core number is a subrelation of sub string
(subrelation telecomCountryCode subString)	Mid-level-ontology.kif 27145-27145	telecom country code is a subrelation of sub string
(subrelation telecomAreaCode subString)	Mid-level-ontology.kif 27160-27160	telecom area code is a subrelation of sub string
(subrelation telecomCode2 subString)	Mid-level-ontology.kif 27171-27171	telecom code2 is a subrelation of sub string
(format EnglishLanguage subString "%1 is a sub-string of %2")	domainEnglishFormat.kif 4704-4704	telecom code2 is a subrelation of sub string
(format ChineseTraditionalLanguage subString "%1 是 %2 的 sub-string ")	domainEnglishFormat.kif 4705-4705	telecom code2 is a subrelation of sub string
(format ChineseLanguage subString "%1 是 %2 的 sub-string ")	domainEnglishFormat.kif 4706-4706	telecom code2 is a subrelation of sub string
(termFormat EnglishLanguage subString "sub string")	domainEnglishFormat.kif 65982-65982	telecom code2 is a subrelation of sub string

antecedent

(=> (and (subString ?S1 ?S2) (equal ?L1 (StringLengthFn ?S1)) (equal ?L2 (StringLengthFn ?S2))) (lessThanOrEqualTo ?L1 ?L2))	Mid-level-ontology.kif 26653-26658	If X is a sub-string of Y, equal Z and the length of X, and equal W and the length of Y, then Z is less than or equal to W
(=> (and (subString ?S1 ?S2) (inString ?CH ?S1)) (inString ?CH ?S2))	Mid-level-ontology.kif 26660-26664	If X is a sub-string of Y and Z is part of X, then Z is part of Y

consequent

(=>
    (precedesInString ?S1 ?S2 ?S3)
    (and
        (subString ?S1 ?S3)
        (subString ?S2 ?S3)))

If X precedes Y in Z, then X is a sub-string of Z and Y is a sub-string of Z