Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  LeastCommonMultipleFn

 Sigma KEE - LeastCommonMultipleFn
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


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners