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 24561-24568
(domain precedesInString 1 SymbolicString) Mid-level-ontology.kif 24558-24558 The number 1 argument of precedes in string is an instance of symbolic string
(domain precedesInString 2 SymbolicString) Mid-level-ontology.kif 24559-24559 The number 2 argument of precedes in string is an instance of symbolic string
(domain precedesInString 3 SymbolicString) Mid-level-ontology.kif 24560-24560 The number 3 argument of precedes in string is an instance of symbolic string
(instance precedesInString TernaryPredicate) Mid-level-ontology.kif 24557-24557 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 3378-3378 name before key name is a subrelation of precedes in string
(subrelation stringConcatenation precedesInString) Mid-level-ontology.kif 24569-24569 string concatenation is a subrelation of precedes in string
(termFormat EnglishLanguage precedesInString "precedes in string") domainEnglishFormat.kif 65915-65915

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


(=>
    (and
        (keyName ?KEY ?NAMESTRING)
        (precedesInString ?KEY ?STRING ?NAMESTRING))
    (nameAfterKeyName ?STRING ?KEY ?NAMESTRING))		 Media.kif 3368-3372
(=>
    (and
        (keyName ?KEY ?NAMESTRING)
        (precedesInString ?STRING ?KEY ?NAMESTRING))
    (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING))		 Media.kif 3395-3399
(=>
    (and
        (precedesInString ?S1 ?S2 ?S4)
        (precedesInString ?S2 ?S3 ?S4))
    (precedesInString ?S1 ?S3 ?S4))		 Mid-level-ontology.kif 24577-24581
(=>
    (precedesInString ?S1 ?S2 ?S3)
    (and
        (subString ?S1 ?S3)
        (subString ?S2 ?S3)))		 Mid-level-ontology.kif 24571-24575

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


(=>
    (and
        (precedesInString ?S1 ?S2 ?S4)
        (precedesInString ?S2 ?S3 ?S4))
    (precedesInString ?S1 ?S3 ?S4))		 Mid-level-ontology.kif 24577-24581
(=>
    (and
        (telecomAreaCode ?AC ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?AC ?WHOLE))		 Mid-level-ontology.kif 25017-25021
(=>
    (and
        (telecomCode2 ?C2 ?WHOLE)
        (telecomAreaCode ?AC ?WHOLE))
    (precedesInString ?AC ?C2 ?WHOLE))		 Mid-level-ontology.kif 25029-25033
(=>
    (and
        (telecomCode2 ?C2 ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?C2 ?WHOLE))		 Mid-level-ontology.kif 25035-25039
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomAreaCode ?AC ?WHOLE))
    (precedesInString ?AC ?CN ?WHOLE))		 Mid-level-ontology.kif 25005-25009
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?CN ?WHOLE))		 Mid-level-ontology.kif 25011-25015
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomExtension ?EX ?WHOLE))
    (precedesInString ?CN ?EX ?WHOLE))		 Mid-level-ontology.kif 25023-25027
(=>
    (nameAfterKeyName ?STRING ?KEY ?NAMESTRING)
    (precedesInString ?KEY ?STRING ?NAMESTRING))		 Media.kif 3364-3366


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