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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LeastCommonMultipleFn

Sigma KEE - LeastCommonMultipleFn
LeastCommonMultipleFn

appearance as argument number 1
-------------------------


(documentation LeastCommonMultipleFn ChineseLanguage "(LeastCommonMultipleFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) 得出 ?NUMBER1 到 ?NUMBER 的最小公倍数。") chinese_format.kif 2245-2246
(documentation LeastCommonMultipleFn EnglishLanguage "(LeastCommonMultipleFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the least common multiple of ?NUMBER1 through ?NUMBER.") Merge.kif 4839-4841
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4837-4837
(instance LeastCommonMultipleFn Function) Merge.kif 4833-4833
(instance LeastCommonMultipleFn PartialValuedRelation) Merge.kif 4834-4834
(instance LeastCommonMultipleFn VariableArityRelation) Merge.kif 4835-4835
(range LeastCommonMultipleFn Integer) Merge.kif 4836-4836

appearance as argument number 2
-------------------------


(format ChineseLanguage LeastCommonMultipleFn "%*[and] 的最小公倍数") chinese_format.kif 706-706
(format EnglishLanguage LeastCommonMultipleFn "the least common multiple of %*[and]") english_format.kif 708-708
(termFormat ChineseLanguage LeastCommonMultipleFn "最不常见的倍数") domainEnglishFormat.kif 33666-33666
(termFormat ChineseLanguage LeastCommonMultipleFn "最小公倍数函数") chinese_format.kif 707-707
(termFormat ChineseTraditionalLanguage LeastCommonMultipleFn "最不常見的倍數") domainEnglishFormat.kif 33665-33665
(termFormat EnglishLanguage LeastCommonMultipleFn "least common multiple") domainEnglishFormat.kif 33664-33664

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


(=>
    (and
        (equal
            (LeastCommonMultipleFn @ROW) ?NUMBER)
        (not
            (equal ?NUMBER 0)))
    (forall (?ELEMENT)
        (=>
            (inList ?ELEMENT
                (ListFn @ROW))
            (equal
                (RemainderFn ?NUMBER ?ELEMENT) 0))))
Merge.kif 4850-4860
(=>
    (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 4862-4876
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4843-4848


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