multiplicativeFactor - Sigma Knowledge base Browser

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 4891-4893
(documentation multiplicativeFactor JapaneseLanguage "(multiplicativeFactor ?NUMBER1 ?NUMBER2) とは、?NUMBER1 が ?NUMBER2 の係数、すなわち ?NUMBER2 であることを意味する。?NUMBER1 は、結果として ?NUMBER2 を与えるためにいくつかの Intege を乗算できる。")	japanese_format.kif 902-904
(domain multiplicativeFactor 1 Integer)	Merge.kif 4897-4897	The number 1 argument of multiplicative factor is an instance of integer
(domain multiplicativeFactor 2 Integer)	Merge.kif 4898-4898	The number 2 argument of multiplicative factor is an instance of integer
(instance multiplicativeFactor BinaryPredicate)	Merge.kif 4895-4895	multiplicative factor is an instance of binary predicate
(instance multiplicativeFactor TransitiveRelation)	Merge.kif 4896-4896	multiplicative factor is an instance of transitive relation

appearance as argument number 2

(format ChineseLanguage multiplicativeFactor "%2 %n 是 %1 的 multiplicative 因子")	domainEnglishFormat.kif 1763-1763
(format ChineseTraditionalLanguage multiplicativeFactor "%2 %n 是 %1 的 multiplicative 因子")	domainEnglishFormat.kif 1762-1762
(format EnglishLanguage multiplicativeFactor "%2 is %n a multiplicative factor of %1")	domainEnglishFormat.kif 1761-1761
(termFormat ChineseLanguage multiplicativeFactor "乘法因子")	domainEnglishFormat.kif 39227-39227
(termFormat ChineseTraditionalLanguage multiplicativeFactor "乘法因子")	domainEnglishFormat.kif 39226-39226
(termFormat EnglishLanguage multiplicativeFactor "multiplicative factor")	domainEnglishFormat.kif 39225-39225

antecedent

(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))

Merge.kif 4900-4905