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 26185-26192
(domain precedesInString 1 SymbolicString) Mid-level-ontology.kif 26182-26182 The number 1 argument of precedes in string is an instance of symbolic string
(domain precedesInString 2 SymbolicString) Mid-level-ontology.kif 26183-26183 The number 2 argument of precedes in string is an instance of symbolic string
(domain precedesInString 3 SymbolicString) Mid-level-ontology.kif 26184-26184 The number 3 argument of precedes in string is an instance of symbolic string
(instance precedesInString TernaryPredicate) Mid-level-ontology.kif 26181-26181 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 26193-26193 string concatenation is a subrelation of precedes in string
(termFormat EnglishLanguage precedesInString "precedes in string") domainEnglishFormat.kif 65962-65962 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
(=>
    (and
        (keyName ?KEY ?NAMESTRING)
        (precedesInString ?STRING ?KEY ?NAMESTRING))
    (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING))		 Media.kif 3397-3401
(=>
    (and
        (precedesInString ?S1 ?S2 ?S4)
        (precedesInString ?S2 ?S3 ?S4))
    (precedesInString ?S1 ?S3 ?S4))		 Mid-level-ontology.kif 26201-26205
(=>
    (precedesInString ?S1 ?S2 ?S3)
    (and
        (subString ?S1 ?S3)
        (subString ?S2 ?S3)))		 Mid-level-ontology.kif 26195-26199

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


(=>
    (and
        (precedesInString ?S1 ?S2 ?S4)
        (precedesInString ?S2 ?S3 ?S4))
    (precedesInString ?S1 ?S3 ?S4))		 Mid-level-ontology.kif 26201-26205
(=>
    (and
        (telecomAreaCode ?AC ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?AC ?WHOLE))		 Mid-level-ontology.kif 26641-26645
(=>
    (and
        (telecomCode2 ?C2 ?WHOLE)
        (telecomAreaCode ?AC ?WHOLE))
    (precedesInString ?AC ?C2 ?WHOLE))		 Mid-level-ontology.kif 26653-26657
(=>
    (and
        (telecomCode2 ?C2 ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?C2 ?WHOLE))		 Mid-level-ontology.kif 26659-26663
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomAreaCode ?AC ?WHOLE))
    (precedesInString ?AC ?CN ?WHOLE))		 Mid-level-ontology.kif 26629-26633
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?CN ?WHOLE))		 Mid-level-ontology.kif 26635-26639
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomExtension ?EX ?WHOLE))
    (precedesInString ?CN ?EX ?WHOLE))		 Mid-level-ontology.kif 26647-26651
(=>
    (nameAfterKeyName ?STRING ?KEY ?NAMESTRING)
    (precedesInString ?KEY ?STRING ?NAMESTRING))		 Media.kif 3366-3368


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