MultiplicationFn |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(format ChineseLanguage MultiplicationFn "%*[*]") | chinese_format.kif 680-680 | |
(format EnglishLanguage MultiplicationFn "%*[*]") | english_format.kif 682-682 | |
(termFormat ChineseLanguage MultiplicationFn "乘法") | domainEnglishFormat.kif 39168-39168 | |
(termFormat ChineseLanguage MultiplicationFn "乘法函数") | chinese_format.kif 681-681 | |
(termFormat ChineseTraditionalLanguage MultiplicationFn "乘法") | domainEnglishFormat.kif 39167-39167 | |
(termFormat EnglishLanguage MultiplicationFn "multiplication") | domainEnglishFormat.kif 39166-39166 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
![]() |
![]() |