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 3263-3263 | key name is a subrelation of sub string |
(subrelation telecomAreaCode subString) | Mid-level-ontology.kif 24981-24981 | telecom area code is a subrelation of sub string |
(subrelation telecomCode2 subString) | Mid-level-ontology.kif 24992-24992 | telecom code2 is a subrelation of sub string |
(subrelation telecomCoreNumber subString) | Mid-level-ontology.kif 24948-24948 | telecom core number is a subrelation of sub string |
(subrelation telecomCountryCode subString) | Mid-level-ontology.kif 24966-24966 | telecom country code is a subrelation of sub string |
(termFormat EnglishLanguage subString "sub string") | domainEnglishFormat.kif 65948-65948 |
antecedent |
consequent |