multiplicativeFactor |
appearance as argument number 1 |
![]() |
(documentation multiplicativeFactor ChineseLanguage "(multiplicativeFactor ?NUMBER1 ?NUMBER2)的意思是 ?NUMBER1 是 ?NUMBER2 因子,即是 ?NUMBER1 可以成某些 Integer 而得出 ?NUMBER2。") | chinese_format.kif 2238-2240 | |
(documentation multiplicativeFactor EnglishLanguage "(multiplicativeFactor ?NUMBER1 ?NUMBER2)means that ?NUMBER1 is a factor of ?NUMBER2, i.e. ?NUMBER1 can be multiplied by some Integer to give ?NUMBER2 as a result.") | Merge.kif 4918-4920 | |
(documentation multiplicativeFactor JapaneseLanguage "(multiplicativeFactor ?NUMBER1 ?NUMBER2) とは、?NUMBER1 が ?NUMBER2 の係数、すなわち ?NUMBER2 であることを意味する。?NUMBER1 は、結果として ?NUMBER2 を与えるためにいくつかの Intege を乗算できる。") | japanese_format.kif 902-904 | |
(domain multiplicativeFactor 1 Integer) | Merge.kif 4924-4924 | |
(domain multiplicativeFactor 2 Integer) | Merge.kif 4925-4925 | |
(instance multiplicativeFactor BinaryPredicate) | Merge.kif 4922-4922 | |
(instance multiplicativeFactor TransitiveRelation) | Merge.kif 4923-4923 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage multiplicativeFactor "%2 %n 是 %1 的 multiplicative 因子") | domainEnglishFormat.kif 1767-1767 | |
(format ChineseTraditionalLanguage multiplicativeFactor "%2 %n 是 %1 的 multiplicative 因子") | domainEnglishFormat.kif 1766-1766 | |
(format EnglishLanguage multiplicativeFactor "%2 is %n a multiplicative factor of %1") | domainEnglishFormat.kif 1765-1765 | |
(termFormat ChineseLanguage multiplicativeFactor "乘法因子") | domainEnglishFormat.kif 39202-39202 | |
(termFormat ChineseTraditionalLanguage multiplicativeFactor "乘法因子") | domainEnglishFormat.kif 39201-39201 | |
(termFormat EnglishLanguage multiplicativeFactor "multiplicative factor") | domainEnglishFormat.kif 39200-39200 |
antecedent |
![]() |
(=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I))))) |
Merge.kif 4927-4932 |
![]() |
![]() |