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 | precedesInString 的 1 数量 是 符号串 的 instance |
(domain precedesInString 2 SymbolicString) | Mid-level-ontology.kif 24502-24502 | precedesInString 的 2 数量 是 符号串 的 instance |
(domain precedesInString 3 SymbolicString) | Mid-level-ontology.kif 24503-24503 | precedesInString 的 3 数量 是 符号串 的 instance |
(instance precedesInString TernaryPredicate) | Mid-level-ontology.kif 24500-24500 | precedesInString 是 三元谓语 的 instance |
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 | nameBeforeKeyName 是 precedesInString 的 subrelation |
(subrelation stringConcatenation precedesInString) | Mid-level-ontology.kif 24512-24512 | stringConcatenation 是 precedesInString 的 subrelation |
(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 |