Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  precedesInString

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
(domain precedesInString 2 SymbolicString) Mid-level-ontology.kif 24502-24502
(domain precedesInString 3 SymbolicString) Mid-level-ontology.kif 24503-24503
(instance precedesInString TernaryPredicate) Mid-level-ontology.kif 24500-24500

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
(subrelation stringConcatenation precedesInString) Mid-level-ontology.kif 24512-24512
(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
(=>
    (and
        (keyName ?KEY ?NAMESTRING)
        (precedesInString ?STRING ?KEY ?NAMESTRING))
    (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING))
Media.kif 3413-3417
(=>
    (and
        (precedesInString ?S1 ?S2 ?S4)
        (precedesInString ?S2 ?S3 ?S4))
    (precedesInString ?S1 ?S3 ?S4))
Mid-level-ontology.kif 24520-24524
(=>
    (precedesInString ?S1 ?S2 ?S3)
    (and
        (subString ?S1 ?S3)
        (subString ?S2 ?S3)))
Mid-level-ontology.kif 24514-24518

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


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


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