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 | key name is a subrelation of sub string |
(subrelation telecomAreaCode subString) | Mid-level-ontology.kif 24924-24924 | telecom area code is a subrelation of sub string |
(subrelation telecomCode2 subString) | Mid-level-ontology.kif 24935-24935 | telecom code2 is a subrelation of sub string |
(subrelation telecomCoreNumber subString) | Mid-level-ontology.kif 24891-24891 | telecom core number is a subrelation of sub string |
(subrelation telecomCountryCode subString) | Mid-level-ontology.kif 24909-24909 | telecom country code is a subrelation of sub string |
(termFormat EnglishLanguage subString "sub string") | domainEnglishFormat.kif 65946-65946 |
antecedent |
consequent |