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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 4702-4704
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4700-4700 最小公倍数函数 的 1 数量 是 整数instance
(instance LeastCommonMultipleFn Function) Merge.kif 4696-4696 最小公倍数函数函数instance
(instance LeastCommonMultipleFn PartialValuedRelation) Merge.kif 4697-4697 最小公倍数函数部分值关系instance
(instance LeastCommonMultipleFn VariableArityRelation) Merge.kif 4698-4698 最小公倍数函数不定次元关系instance
(range LeastCommonMultipleFn Integer) Merge.kif 4699-4699 最小公倍数函数range整数 的实例

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 711-711
(termFormat ChineseLanguage LeastCommonMultipleFn "最不常见的倍数") domainEnglishFormat.kif 33577-33577
(termFormat ChineseLanguage LeastCommonMultipleFn "最小公倍数函数") chinese_format.kif 707-707
(termFormat ChineseTraditionalLanguage LeastCommonMultipleFn "最不常見的倍數") domainEnglishFormat.kif 33576-33576
(termFormat EnglishLanguage LeastCommonMultipleFn "least common multiple") domainEnglishFormat.kif 33575-33575

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


(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4706-4711
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (forall (?ELEMENT)
        (=>
            (inList ?ELEMENT
                (ListFn @ROW))
            (equal
                (RemainderFn ?NUMBER ?ELEMENT) 0))))
Merge.kif 4713-4718
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (not
        (exists (?LESS)
            (and
                (lessThan ?LESS ?NUMBER)
                (forall (?ELEMENT)
                    (=>
                        (inList ?ELEMENT
                            (ListFn @ROW))
                        (equal
                            (RemainderFn ?LESS ?ELEMENT) 0)))))))
Merge.kif 4720-4728


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners