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 是 subString 的 subrelation |
(subrelation telecomAreaCode subString) | Mid-level-ontology.kif 24924-24924 | telecomAreaCode 是 subString 的 subrelation |
(subrelation telecomCode2 subString) | Mid-level-ontology.kif 24935-24935 | telecomCode2 是 subString 的 subrelation |
(subrelation telecomCoreNumber subString) | Mid-level-ontology.kif 24891-24891 | telecomCoreNumber 是 subString 的 subrelation |
(subrelation telecomCountryCode subString) | Mid-level-ontology.kif 24909-24909 | telecomCountryCode 是 subString 的 subrelation |
(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 24400-24405 | |
(=> (and (subString ?S1 ?S2) (inString ?CH ?S1)) (inString ?CH ?S2)) |
Mid-level-ontology.kif 24407-24411 |
consequent |
(=> (browserID ?STRING ?BROWSER ?SITE) (exists (?WEBPAGE ?ACCESSING ?AGENT ?BPROC) (and (instance ?WEBPAGE WebPage) (subString ?WEBPAGE ?SITE) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT AutonomousAgent) (agent ?ACCESSING ?AGENT) (programRunning ?BPROC ?BROWSER) (causes ?BPROC ?ACCESSING) (destination ?ACCESSING ?WEBPAGE) (represents ?STRING ?AGENT)))) |
UXExperimentalTerms.kif 736-748 |
|
(=> (hostedOn ?LISTING ?SITE) (exists (?PAGE) (and (instance ?PAGE WebPage) (subString ?LISTING ?PAGE) (subString ?PAGE ?SITE)))) |
UXExperimentalTerms.kif 125-131 | |
(=> (precedesInString ?S1 ?S2 ?S3) (and (subString ?S1 ?S3) (subString ?S2 ?S3))) |
Mid-level-ontology.kif 24514-24518 |