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 22321-22328
(domain precedesInString 1 SymbolicString) Mid-level-ontology.kif 22318-22318
(domain precedesInString 2 SymbolicString) Mid-level-ontology.kif 22319-22319
(domain precedesInString 3 SymbolicString) Mid-level-ontology.kif 22320-22320
(instance precedesInString TernaryPredicate) Mid-level-ontology.kif 22317-22317

appearance as argument number 2
-------------------------


(format ChineseLanguage precedesInString "%1 precedes %2 在 %3 ") domainEnglishFormat.kif 4199-4199
(format ChineseTraditionalLanguage precedesInString "%1 precedes %2 在 %3 ") domainEnglishFormat.kif 4198-4198
(format EnglishLanguage precedesInString "%1 precedes %2 in %3") domainEnglishFormat.kif 4197-4197
(subrelation nameBeforeKeyName precedesInString) Media.kif 3364-3364
(subrelation stringConcatenation precedesInString) Mid-level-ontology.kif 22329-22329

antecedent
-------------------------


(=>
    (and
        (keyName ?KEY ?NAMESTRING)
        (precedesInString ?KEY ?STRING ?NAMESTRING))
    (nameAfterKeyName ?STRING ?KEY ?NAMESTRING))
Media.kif 3354-3358
(=>
    (and
        (keyName ?KEY ?NAMESTRING)
        (precedesInString ?STRING ?KEY ?NAMESTRING))
    (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING))
Media.kif 3381-3385
(=>
    (and
        (precedesInString ?S1 ?S2 ?S4)
        (precedesInString ?S2 ?S3 ?S4))
    (precedesInString ?S1 ?S3 ?S4))
Mid-level-ontology.kif 22337-22341
(=>
    (precedesInString ?S1 ?S2 ?S3)
    (and
        (subString ?S1 ?S3)
        (subString ?S2 ?S3)))
Mid-level-ontology.kif 22331-22335

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


(=>
    (and
        (precedesInString ?S1 ?S2 ?S4)
        (precedesInString ?S2 ?S3 ?S4))
    (precedesInString ?S1 ?S3 ?S4))
Mid-level-ontology.kif 22337-22341
(=>
    (and
        (telecomAreaCode ?AC ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?AC ?WHOLE))
Mid-level-ontology.kif 22933-22937
(=>
    (and
        (telecomCode2 ?C2 ?WHOLE)
        (telecomAreaCode ?AC ?WHOLE))
    (precedesInString ?AC ?C2 ?WHOLE))
Mid-level-ontology.kif 22945-22949
(=>
    (and
        (telecomCode2 ?C2 ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?C2 ?WHOLE))
Mid-level-ontology.kif 22951-22955
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomAreaCode ?AC ?WHOLE))
    (precedesInString ?AC ?CN ?WHOLE))
Mid-level-ontology.kif 22921-22925
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?CN ?WHOLE))
Mid-level-ontology.kif 22927-22931
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomExtension ?EX ?WHOLE))
    (precedesInString ?CN ?EX ?WHOLE))
Mid-level-ontology.kif 22939-22943
(=>
    (nameAfterKeyName ?STRING ?KEY ?NAMESTRING)
    (precedesInString ?KEY ?STRING ?NAMESTRING))
Media.kif 3350-3352


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners