Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - precedesInString
precedesInString

appearance as argument number 1
-------------------------


(instance precedesInString TernaryPredicate) Mid-level-ontology.kif 26799-26799 precedes in string is an instance of ternary predicate
(domain precedesInString 1 SymbolicString) Mid-level-ontology.kif 26800-26800 The number 1 argument of precedes in string is an instance of symbolic string
(domain precedesInString 2 SymbolicString) Mid-level-ontology.kif 26801-26801 The number 2 argument of precedes in string is an instance of symbolic string
(domain precedesInString 3 SymbolicString) Mid-level-ontology.kif 26802-26802 The number 3 argument of precedes in string is an instance of symbolic string
(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 26803-26810 The number 3 argument of precedes in string is an instance of symbolic string

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


(subrelation stringConcatenation precedesInString) Mid-level-ontology.kif 26811-26811 string concatenation is a subrelation of precedes in string
(subrelation nameBeforeKeyName precedesInString) Media.kif 3311-3311 name before key name is a subrelation of precedes in string
(format EnglishLanguage precedesInString "%1 precedes %2 in %3") domainEnglishFormat.kif 4200-4200 name before key name is a subrelation of precedes in string
(format ChineseTraditionalLanguage precedesInString "%1 precedes %2 在 %3 ") domainEnglishFormat.kif 4201-4201 name before key name is a subrelation of precedes in string
(format ChineseLanguage precedesInString "%1 precedes %2 在 %3 ") domainEnglishFormat.kif 4202-4202 name before key name is a subrelation of precedes in string
(termFormat EnglishLanguage precedesInString "precedes in string") domainEnglishFormat.kif 65940-65940 name before key name is a subrelation of precedes in string

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


(=>
    (precedesInString ?S1 ?S2 ?S3)
    (and
        (subString ?S1 ?S3)
        (subString ?S2 ?S3)))		 Mid-level-ontology.kif 26813-26817 If X precedes Y in Z, then X is a sub-string of Z and Y is a sub-string of Z
(=>
    (and
        (precedesInString ?S1 ?S2 ?S4)
        (precedesInString ?S2 ?S3 ?S4))
    (precedesInString ?S1 ?S3 ?S4))		 Mid-level-ontology.kif 26819-26823 If X precedes Y in Z and Y precedes W in Z, then X precedes W in Z
(=>
    (and
        (keyName ?KEY ?NAMESTRING)
        (precedesInString ?KEY ?STRING ?NAMESTRING))
    (nameAfterKeyName ?STRING ?KEY ?NAMESTRING))		 Media.kif 3301-3305 If X is a key in Y and X precedes Z in Y, then Z is after key X in Y
(=>
    (and
        (keyName ?KEY ?NAMESTRING)
        (precedesInString ?STRING ?KEY ?NAMESTRING))
    (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING))		 Media.kif 3328-3332 If X is a key in Y and Z precedes X in Y, then Z is before key X in Y

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


(=>
    (and
        (precedesInString ?S1 ?S2 ?S4)
        (precedesInString ?S2 ?S3 ?S4))
    (precedesInString ?S1 ?S3 ?S4))		 Mid-level-ontology.kif 26819-26823 If X precedes Y in Z and Y precedes W in Z, then X precedes W in Z
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomAreaCode ?AC ?WHOLE))
    (precedesInString ?AC ?CN ?WHOLE))		 Mid-level-ontology.kif 27230-27234 If X is the core number in Y and the area code in Y is Z, then Z precedes X in Y
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?CN ?WHOLE))		 Mid-level-ontology.kif 27236-27240 If X is the core number in Y and Z is the country code in Y, then Z precedes X in Y
(=>
    (and
        (telecomAreaCode ?AC ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?AC ?WHOLE))		 Mid-level-ontology.kif 27242-27246 If the area code in X is Y and Z is the country code in X, then Z precedes Y in X
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomExtension ?EX ?WHOLE))
    (precedesInString ?CN ?EX ?WHOLE))		 Mid-level-ontology.kif 27248-27252 If X is the core number in Y and Z is the extension in Y, then X precedes Z in Y
(=>
    (and
        (telecomCode2 ?C2 ?WHOLE)
        (telecomAreaCode ?AC ?WHOLE))
    (precedesInString ?AC ?C2 ?WHOLE))		 Mid-level-ontology.kif 27254-27258 If the secondary code in X is Y and the area code in X is Z, then Z precedes Y in X
(=>
    (and
        (telecomCode2 ?C2 ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?C2 ?WHOLE))		 Mid-level-ontology.kif 27260-27264 If the secondary code in X is Y and Z is the country code in X, then Z precedes Y in X
(=>
    (nameAfterKeyName ?STRING ?KEY ?NAMESTRING)
    (precedesInString ?KEY ?STRING ?NAMESTRING))		 Media.kif 3297-3299 If X is after key Y in Z, then Y precedes X in Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners