precedesInString - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - precedesInString

precedesInString

appearance as argument number 1

(documentation precedesInString EnglishLanguage "(precedesInString ?SymbolicString-1 ?SymbolicString-2 ?SymbolicString-3) means that ?SymbolicString-1 and ?SymbolicString-2 are subStrings of ?SymbolicString-3, and ?SymbolicString-1 occurs sequentially before ?SymbolicString-2 in ?SymbolicString-3. Example: (precedesInString "Johann" "Bach" "Johann Sebastian Bach").")	Mid-level-ontology.kif 26157-26164
(domain precedesInString 1 SymbolicString)	Mid-level-ontology.kif 26154-26154	The number 1 argument of precedes in string is an instance of symbolic string
(domain precedesInString 2 SymbolicString)	Mid-level-ontology.kif 26155-26155	The number 2 argument of precedes in string is an instance of symbolic string
(domain precedesInString 3 SymbolicString)	Mid-level-ontology.kif 26156-26156	The number 3 argument of precedes in string is an instance of symbolic string
(instance precedesInString TernaryPredicate)	Mid-level-ontology.kif 26153-26153	precedes in string is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage precedesInString "%1 precedes %2 在 %3 ")	domainEnglishFormat.kif 4202-4202
(format ChineseTraditionalLanguage precedesInString "%1 precedes %2 在 %3 ")	domainEnglishFormat.kif 4201-4201
(format EnglishLanguage precedesInString "%1 precedes %2 in %3")	domainEnglishFormat.kif 4200-4200
(subrelation nameBeforeKeyName precedesInString)	Media.kif 3380-3380	name before key name is a subrelation of precedes in string
(subrelation stringConcatenation precedesInString)	Mid-level-ontology.kif 26165-26165	string concatenation is a subrelation of precedes in string
(termFormat EnglishLanguage precedesInString "precedes in string")	domainEnglishFormat.kif 65930-65930	string concatenation is a subrelation of precedes in string

antecedent

(=> (and (keyName ?KEY ?NAMESTRING) (precedesInString ?KEY ?STRING ?NAMESTRING)) (nameAfterKeyName ?STRING ?KEY ?NAMESTRING))	Media.kif 3370-3374	If a symbolic string is a key in another symbolic string and the symbolic string precedes a third symbolic string in the other symbolic string, then the third symbolic string is &ameAfterKeyName$"after" &ameAfterKeyName$"key" the symbolic string in the other symbolic string
(=> (and (keyName ?KEY ?NAMESTRING) (precedesInString ?STRING ?KEY ?NAMESTRING)) (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING))	Media.kif 3397-3401	If a symbolic string is a key in another symbolic string and a third symbolic string precedes the symbolic string in the other symbolic string, then the third symbolic string is &ameBeforeKeyName$"before" &ameBeforeKeyName$"key" the symbolic string in the other symbolic string
(=> (and (precedesInString ?S1 ?S2 ?S4) (precedesInString ?S2 ?S3 ?S4)) (precedesInString ?S1 ?S3 ?S4))	Mid-level-ontology.kif 26173-26177	If a symbolic string precedes another symbolic string in a third symbolic string and the other symbolic string precedes a fourth symbolic string in the third symbolic string, then the symbolic string precedes the fourth symbolic string in the third symbolic string
(=> (precedesInString ?S1 ?S2 ?S3) (and (subString ?S1 ?S3) (subString ?S2 ?S3)))	Mid-level-ontology.kif 26167-26171	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

consequent

(=> (and (precedesInString ?S1 ?S2 ?S4) (precedesInString ?S2 ?S3 ?S4)) (precedesInString ?S1 ?S3 ?S4))	Mid-level-ontology.kif 26173-26177	If a symbolic string precedes another symbolic string in a third symbolic string and the other symbolic string precedes a fourth symbolic string in the third symbolic string, then the symbolic string precedes the fourth symbolic string in the third symbolic string
(=> (and (telecomAreaCode ?AC ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?AC ?WHOLE))	Mid-level-ontology.kif 26613-26617	If the area code in a telecom number is a symbolic string and another symbolic string is the country code in the telecom number, then the other symbolic string precedes the symbolic string in the telecom number
(=> (and (telecomCode2 ?C2 ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?C2 ?WHOLE))	Mid-level-ontology.kif 26625-26629	If the secondary code in a telecom number is a symbolic string and the area code in the telecom number is another symbolic string, then the other symbolic string precedes the symbolic string in the telecom number
(=> (and (telecomCode2 ?C2 ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?C2 ?WHOLE))	Mid-level-ontology.kif 26631-26635	If the secondary code in a telecom number is a symbolic string and another symbolic string is the country code in the telecom number, then the other symbolic string precedes the symbolic string in the telecom number
(=> (and (telecomCoreNumber ?CN ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?CN ?WHOLE))	Mid-level-ontology.kif 26601-26605	If a symbolic string is the core number in a telecom number and the area code in the telecom number is another symbolic string, then the other symbolic string precedes the symbolic string in the telecom number
(=> (and (telecomCoreNumber ?CN ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?CN ?WHOLE))	Mid-level-ontology.kif 26607-26611	If a symbolic string is the core number in a telecom number and another symbolic string is the country code in the telecom number, then the other symbolic string precedes the symbolic string in the telecom number
(=> (and (telecomCoreNumber ?CN ?WHOLE) (telecomExtension ?EX ?WHOLE)) (precedesInString ?CN ?EX ?WHOLE))	Mid-level-ontology.kif 26619-26623	If a symbolic string is the core number in a telecom number and another symbolic string is the extension in the telecom number, then the symbolic string precedes the other symbolic string in the telecom number
(=> (nameAfterKeyName ?STRING ?KEY ?NAMESTRING) (precedesInString ?KEY ?STRING ?NAMESTRING))	Media.kif 3366-3368	If a symbolic string is &ameAfterKeyName$"after" &ameAfterKeyName$"key" another symbolic string in a third symbolic string, then the other symbolic string precedes the symbolic string in the third symbolic string

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