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 4963-4965
(documentation LeastCommonMultipleFn JapaneseLanguage "(LeastCommonMultipleFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) は、?NUMBER1から ?NUMBERまでの最も一般的でない倍数を返す。") japanese_format.kif 909-910
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4961-4961 LeastCommonMultipleFn の数値 1 引数は 整数instance では
(instance LeastCommonMultipleFn Function) Merge.kif 4957-4957 LeastCommonMultipleFn関数instance では
(instance LeastCommonMultipleFn PartialValuedRelation) Merge.kif 4958-4958 LeastCommonMultipleFn部分的価値関係instance では
(instance LeastCommonMultipleFn VariableArityRelation) Merge.kif 4959-4959 LeastCommonMultipleFn可変項数関係instance では
(range LeastCommonMultipleFn Integer) Merge.kif 4960-4960 LeastCommonMultipleFnrange整数 のインスタンス では

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
(format FrenchLanguage LeastCommonMultipleFn "la racine carr�e de nombre entier de %*[and]") french_format.kif 426-426
(format ItalianLanguage LeastCommonMultipleFn "il minimo comune multiplo di %*[and]") relations-it.txt 161-161
(format JapaneseLanguage LeastCommonMultipleFn "%*[and] の least 公倍数") japanese_format.kif 2143-2143
(format PortugueseLanguage LeastCommonMultipleFn "o minimo multiplo comum de numero, de inteiro %*[e]") portuguese_format.kif 378-378
(format de LeastCommonMultipleFn "das kleinste gemeinsames vielfach von %*[und]") relations-de.txt 919-919
(format hi LeastCommonMultipleFn "%*[aura] kaa laghutama samaapavartaka") relations-hindi.txt 200-200
(format ro LeastCommonMultipleFn "least%t{cel mai mic} multiplu comun al %*[ºi]") relations-ro.kif 448-448
(format sv LeastCommonMultipleFn "den största gemensamma multipeln av %*[and]") relations-sv.txt 477-477
(termFormat ChineseLanguage LeastCommonMultipleFn "最不常见的倍数") domainEnglishFormat.kif 33694-33694
(termFormat ChineseLanguage LeastCommonMultipleFn "最小公倍数函数") chinese_format.kif 707-707
(termFormat ChineseTraditionalLanguage LeastCommonMultipleFn "最不常見的倍數") domainEnglishFormat.kif 33693-33693
(termFormat EnglishLanguage LeastCommonMultipleFn "least common multiple") domainEnglishFormat.kif 33692-33692
(termFormat de LeastCommonMultipleFn "KleinsteGemeinsameVielfacheFn") terms-de.txt 278-278

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


(=>
    (and
        (equal
            (LeastCommonMultipleFn @ROW) ?NUMBER)
        (not
            (equal ?NUMBER 0)))
    (forall (?ELEMENT)
        (=>
            (inList ?ELEMENT
                (ListFn @ROW))
            (equal
                (RemainderFn ?NUMBER ?ELEMENT) 0))))
Merge.kif 4974-4984
(=>
    (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 4986-5000
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4967-4972


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 3.0 is open source software produced by Articulate Software and its partners