Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LeastCommonMultipleFn |
| appearance as argument number 1 |
|
| (instance LeastCommonMultipleFn Function) | Merge.kif 5041-5041 | Least common multiple is an instance of function |
| (instance LeastCommonMultipleFn PartialValuedRelation) | Merge.kif 5042-5042 | Least common multiple is an instance of partial valued relation |
| (instance LeastCommonMultipleFn VariableArityRelation) | Merge.kif 5043-5043 | Least common multiple is an instance of variable arity relation |
| (range LeastCommonMultipleFn Integer) | Merge.kif 5044-5044 | The range of least common multiple is an instance of integer |
| (domain LeastCommonMultipleFn 1 Integer) | Merge.kif 5045-5045 | The number 1 argument of least common multiple is an instance of integer |
| (documentation LeastCommonMultipleFn EnglishLanguage "(LeastCommonMultipleFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the least common multiple of ?NUMBER1 through ?NUMBER.") | Merge.kif 5047-5049 | The number 1 argument of least common multiple is an instance of integer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LeastCommonMultipleFn "least common multiple") | domainEnglishFormat.kif 33685-33685 | |
| (termFormat ChineseTraditionalLanguage LeastCommonMultipleFn "最不常見的倍數") | domainEnglishFormat.kif 33686-33686 | |
| (termFormat ChineseLanguage LeastCommonMultipleFn "最不常见的倍数") | domainEnglishFormat.kif 33687-33687 | |
| (format EnglishLanguage LeastCommonMultipleFn "the least common multiple of %*[and]") | english_format.kif 708-708 |
| antecedent |
|
|
| (=> (equal (LeastCommonMultipleFn @ROW) ?NUMBER) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Number))) |
Merge.kif 5051-5056 | Assuming equal the least common multiple of @ROW and Y, it follows that: if Z is a member of (@ROW), then Z is an instance of number |
| (=> (and (equal (LeastCommonMultipleFn @ROW) ?NUMBER) (not (equal ?NUMBER 0))) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?NUMBER ?ELEMENT) 0)))) |
Merge.kif 5058-5068 | If equal the least common multiple of @ROW and Y and equal Y and 0, then For all Integer Z: if Z is a member of (@ROW), then equal Y mod Z and 0 |
| (=> (and (equal (LeastCommonMultipleFn @ROW) ?NUMBER) (not (equal ?NUMBER 0))) (not (exists (?LESS) (and (lessThan ?LESS ?NUMBER) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?LESS ?ELEMENT) 0))))))) |
Merge.kif 5070-5084 | If equal the least common multiple of @ROW and Y and equal Y and 0, then there doesn't exist Z such that Z is less than Y and W W is a member of (@ROW)equal Z mod W and 0 |
|