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