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 The number 1 argument of precedes in string is an instance of symbolic string
(domain precedesInString 2 SymbolicString) Mid-level-ontology.kif 24502-24502 The number 2 argument of precedes in string is an instance of symbolic string
(domain precedesInString 3 SymbolicString) Mid-level-ontology.kif 24503-24503 The number 3 argument of precedes in string is an instance of symbolic string
(instance precedesInString TernaryPredicate) Mid-level-ontology.kif 24500-24500 precedes in string is an instance of ternary predicate

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 name before key name is a subrelation of precedes in string
(subrelation stringConcatenation precedesInString) Mid-level-ontology.kif 24512-24512 string concatenation is a subrelation of precedes in string
(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