TreeView Knowledge Base Browser - subString

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 23764-23770
(domain subString 1 SymbolicString)	Mid-level-ontology.kif 23762-23762	The number 1 argument of subString is an instance of symbolic string
(domain subString 2 SymbolicString)	Mid-level-ontology.kif 23763-23763	The number 2 argument of subString is an instance of symbolic string
(instance subString AntisymmetricRelation)	Mid-level-ontology.kif 23758-23758	subString is an instance of antisymmetric relation
(instance subString BinaryPredicate)	Mid-level-ontology.kif 23760-23760	subString is an instance of binary predicate
(instance subString ReflexiveRelation)	Mid-level-ontology.kif 23759-23759	subString is an instance of reflexive relation
(instance subString TotalValuedRelation)	Mid-level-ontology.kif 23761-23761	subString is an instance of total valued relation
(subrelation subString part)	Mid-level-ontology.kif 23771-23771	subString is a subrelation of part

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	keyName is a subrelation of subString
(subrelation telecomAreaCode subString)	Mid-level-ontology.kif 24293-24293	telecomAreaCode is a subrelation of subString
(subrelation telecomCode2 subString)	Mid-level-ontology.kif 24304-24304	telecomCode2 is a subrelation of subString
(subrelation telecomCoreNumber subString)	Mid-level-ontology.kif 24260-24260	telecomCoreNumber is a subrelation of subString
(subrelation telecomCountryCode subString)	Mid-level-ontology.kif 24278-24278	telecomCountryCode is a subrelation of subString

antecedent

(=> (and (humanName ?NAMESTRING ?HUMAN) (familyName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (keyName ?STRING ?NAMESTRING))	Media.kif 3440-3445	If a human is called a symbolic string and another symbolic string is a family name of the human and the other symbolic string is a sub-string of the symbolic string, then the other symbolic string is a key in the symbolic string
(=> (and (humanName ?NAMESTRING ?HUMAN) (givenName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (not (keyName ?STRING ?NAMESTRING)))	Media.kif 3449-3454	If a human is called a symbolic string and another symbolic string is a given name of the human and the other symbolic string is a sub-string of the symbolic string, then not the other symbolic string is a key in the symbolic string
(=> (and (subString ?S1 ?S2) (equal ?L1 (StringLengthFn ?S1)) (equal ?L2 (StringLengthFn ?S2))) (lessThanOrEqualTo ?L1 ?L2))	Mid-level-ontology.kif 23773-23778	If a symbolic string is a sub-string of another symbolic string and a nonnegative integer is equal to the length of the symbolic string and another nonnegative integer is equal to the length of the other symbolic string, then the nonnegative integer is less than or equal to the other nonnegative integer
(=> (and (subString ?S1 ?S2) (inString ?CH ?S1)) (inString ?CH ?S2))	Mid-level-ontology.kif 23780-23784	If a symbolic string is a sub-string of another symbolic string and a character is part of the symbolic string, then the character is part of the other symbolic string

consequent

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

Mid-level-ontology.kif 23887-23891

If a symbolic string precedes another symbolic string in a third symbolic string,
then the symbolic string is a sub-string of the third symbolic string and the other symbolic string is a sub-string of the third symbolic string

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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