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 24504-24511
(domain precedesInString 1 SymbolicString)	Mid-level-ontology.kif 24501-24501	Le nombre 1 argument de precedesInString est une instance de cha�ne sympbolique
(domain precedesInString 2 SymbolicString)	Mid-level-ontology.kif 24502-24502	Le nombre 2 argument de precedesInString est une instance de cha�ne sympbolique
(domain precedesInString 3 SymbolicString)	Mid-level-ontology.kif 24503-24503	Le nombre 3 argument de precedesInString est une instance de cha�ne sympbolique
(instance precedesInString TernaryPredicate)	Mid-level-ontology.kif 24500-24500	precedesInString est une instance de pr�dicat ternaire

appearance as argument number 2

(format ChineseLanguage precedesInString "%1 precedes %2 在 %3 ")	domainEnglishFormat.kif 4198-4198
(format ChineseTraditionalLanguage precedesInString "%1 precedes %2 在 %3 ")	domainEnglishFormat.kif 4197-4197
(format EnglishLanguage precedesInString "%1 precedes %2 in %3")	domainEnglishFormat.kif 4196-4196
(subrelation nameBeforeKeyName precedesInString)	Media.kif 3396-3396	nameBeforeKeyName est une sous-relation de precedesInString
(subrelation stringConcatenation precedesInString)	Mid-level-ontology.kif 24512-24512	stringConcatenation est une sous-relation de precedesInString
(termFormat EnglishLanguage precedesInString "precedes in string")	domainEnglishFormat.kif 65913-65913

antecedent

(=> (and (keyName ?KEY ?NAMESTRING) (precedesInString ?KEY ?STRING ?NAMESTRING)) (nameAfterKeyName ?STRING ?KEY ?NAMESTRING))	Media.kif 3386-3390	keyName cha�ne sympbolique and cha�ne sympbolique precedesInString cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique nameAfterKeyName cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique
(=> (and (keyName ?KEY ?NAMESTRING) (precedesInString ?STRING ?KEY ?NAMESTRING)) (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING))	Media.kif 3413-3417	keyName cha�ne sympbolique and cha�ne sympbolique precedesInString cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique nameBeforeKeyName cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique
(=> (and (precedesInString ?S1 ?S2 ?S4) (precedesInString ?S2 ?S3 ?S4)) (precedesInString ?S1 ?S3 ?S4))	Mid-level-ontology.kif 24520-24524	precedesInString cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique precedesInString cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique precedesInString cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique
(=> (precedesInString ?S1 ?S2 ?S3) (and (subString ?S1 ?S3) (subString ?S2 ?S3)))	Mid-level-ontology.kif 24514-24518	precedesInString cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique subString cha�ne sympbolique and cha�ne sympbolique subString cha�ne sympbolique and cha�ne sympbolique

consequent

(=> (and (precedesInString ?S1 ?S2 ?S4) (precedesInString ?S2 ?S3 ?S4)) (precedesInString ?S1 ?S3 ?S4))	Mid-level-ontology.kif 24520-24524	precedesInString cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique precedesInString cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique precedesInString cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique
(=> (and (telecomAreaCode ?AC ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?AC ?WHOLE))	Mid-level-ontology.kif 24960-24964	telecomAreaCode cha�ne sympbolique and TelecomNumber telecomCountryCode cha�ne sympbolique and TelecomNumber precedesInString cha�ne sympbolique, cha�ne sympbolique and TelecomNumber
(=> (and (telecomCode2 ?C2 ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?C2 ?WHOLE))	Mid-level-ontology.kif 24972-24976	telecomCode2 cha�ne sympbolique and TelecomNumber telecomAreaCode cha�ne sympbolique and TelecomNumber precedesInString cha�ne sympbolique, cha�ne sympbolique and TelecomNumber
(=> (and (telecomCode2 ?C2 ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?C2 ?WHOLE))	Mid-level-ontology.kif 24978-24982	telecomCode2 cha�ne sympbolique and TelecomNumber telecomCountryCode cha�ne sympbolique and TelecomNumber precedesInString cha�ne sympbolique, cha�ne sympbolique and TelecomNumber
(=> (and (telecomCoreNumber ?CN ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?CN ?WHOLE))	Mid-level-ontology.kif 24948-24952	telecomCoreNumber cha�ne sympbolique and TelecomNumber telecomAreaCode cha�ne sympbolique and TelecomNumber precedesInString cha�ne sympbolique, cha�ne sympbolique and TelecomNumber
(=> (and (telecomCoreNumber ?CN ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?CN ?WHOLE))	Mid-level-ontology.kif 24954-24958	telecomCoreNumber cha�ne sympbolique and TelecomNumber telecomCountryCode cha�ne sympbolique and TelecomNumber precedesInString cha�ne sympbolique, cha�ne sympbolique and TelecomNumber
(=> (and (telecomCoreNumber ?CN ?WHOLE) (telecomExtension ?EX ?WHOLE)) (precedesInString ?CN ?EX ?WHOLE))	Mid-level-ontology.kif 24966-24970	telecomCoreNumber cha�ne sympbolique and TelecomNumber telecomExtension cha�ne sympbolique and TelecomNumber precedesInString cha�ne sympbolique, cha�ne sympbolique and TelecomNumber
(=> (nameAfterKeyName ?STRING ?KEY ?NAMESTRING) (precedesInString ?KEY ?STRING ?NAMESTRING))	Media.kif 3382-3384	nameAfterKeyName cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique precedesInString cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique

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