Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  multiplicativeFactor

Sigma KEE - multiplicativeFactor
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 4890-4892
(documentation multiplicativeFactor JapaneseLanguage "(multiplicativeFactor ?NUMBER1 ?NUMBER2) とは、?NUMBER1 が ?NUMBER2 の係数、すなわち ?NUMBER2 であることを意味する。?NUMBER1 は、結果として ?NUMBER2 を与えるためにいくつかの Intege を乗算できる。") japanese_format.kif 902-904
(domain multiplicativeFactor 1 Integer) Merge.kif 4896-4896 The number 1 argument of multiplicative factor is an instance of integer
(domain multiplicativeFactor 2 Integer) Merge.kif 4897-4897 The number 2 argument of multiplicative factor is an instance of integer
(instance multiplicativeFactor BinaryPredicate) Merge.kif 4894-4894 multiplicative factor is an instance of binary predicate
(instance multiplicativeFactor TransitiveRelation) Merge.kif 4895-4895 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 39189-39189
(termFormat ChineseTraditionalLanguage multiplicativeFactor "乘法因子") domainEnglishFormat.kif 39188-39188
(termFormat EnglishLanguage multiplicativeFactor "multiplicative factor") domainEnglishFormat.kif 39187-39187

antecedent
-------------------------


(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 4899-4904


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners