subString |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage subString "%1 是 %2 的 sub-string ") | domainEnglishFormat.kif 4702-4702 | |
(format ChineseTraditionalLanguage subString "%1 是 %2 的 sub-string ") | domainEnglishFormat.kif 4701-4701 | |
(format EnglishLanguage subString "%1 is a sub-string of %2") | domainEnglishFormat.kif 4700-4700 | |
(subrelation keyName subString) | Media.kif 3281-3281 | keyName est une sous-relation de subString |
(subrelation telecomAreaCode subString) | Mid-level-ontology.kif 24923-24923 | telecomAreaCode est une sous-relation de subString |
(subrelation telecomCode2 subString) | Mid-level-ontology.kif 24934-24934 | telecomCode2 est une sous-relation de subString |
(subrelation telecomCoreNumber subString) | Mid-level-ontology.kif 24890-24890 | telecomCoreNumber est une sous-relation de subString |
(subrelation telecomCountryCode subString) | Mid-level-ontology.kif 24908-24908 | telecomCountryCode est une sous-relation de subString |
(termFormat EnglishLanguage subString "sub string") | domainEnglishFormat.kif 65946-65946 |
antecedent |
(=> (and (humanName ?NAMESTRING ?HUMAN) (familyName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (keyName ?STRING ?NAMESTRING)) |
Media.kif 3452-3457 | |
(=> (and (humanName ?NAMESTRING ?HUMAN) (givenName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (not (keyName ?STRING ?NAMESTRING))) |
Media.kif 3461-3466 | |
(=> (and (subString ?S1 ?S2) (equal ?L1 (StringLengthFn ?S1)) (equal ?L2 (StringLengthFn ?S2))) (lessThanOrEqualTo ?L1 ?L2)) |
Mid-level-ontology.kif 24399-24404 | |
(=> (and (subString ?S1 ?S2) (inString ?CH ?S1)) (inString ?CH ?S2)) |
Mid-level-ontology.kif 24406-24410 |
consequent |