precedesInString |
appearance as argument number 1 |
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 |