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 4604-4606
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4602-4602 domain LeastCommonMultipleFn, 1 and Integer
(instance LeastCommonMultipleFn Function) Merge.kif 4598-4598 instance LeastCommonMultipleFn and Function
(instance LeastCommonMultipleFn PartialValuedRelation) Merge.kif 4599-4599 instance LeastCommonMultipleFn and PartialValuedRelation
(instance LeastCommonMultipleFn VariableArityRelation) Merge.kif 4600-4600 instance LeastCommonMultipleFn and VariableArityRelation
(range LeastCommonMultipleFn Integer) Merge.kif 4601-4601 range LeastCommonMultipleFn and Integer

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

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


(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4608-4613
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (forall (?ELEMENT)
        (=>
            (inList ?ELEMENT
                (ListFn @ROW))
            (equal
                (RemainderFn ?NUMBER ?ELEMENT) 0))))
Merge.kif 4615-4620
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (not
        (exists (?LESS)
            (and
                (lessThan ?LESS ?NUMBER)
                (forall (?ELEMENT)
                    (=>
                        (inList ?ELEMENT
                            (ListFn @ROW))
                        (equal
                            (RemainderFn ?LESS ?ELEMENT) 0)))))))
Merge.kif 4622-4630


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