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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GreatestCommonDivisorFn

Sigma KEE - GreatestCommonDivisorFn
GreatestCommonDivisorFn

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


(documentation GreatestCommonDivisorFn ChineseLanguage "(GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER)得出 ?NUMBER1 到 ?NUMBER 的最大公约数。") chinese_format.kif 2236-2237
(documentation GreatestCommonDivisorFn EnglishLanguage "(GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the greatest common divisor of ?NUMBER1 through ?NUMBER.") Merge.kif 4760-4762
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4758-4758 最大公因数函数 的 1 数量 是 整数instance
(instance GreatestCommonDivisorFn Function) Merge.kif 4754-4754 最大公因数函数函数instance
(instance GreatestCommonDivisorFn PartialValuedRelation) Merge.kif 4756-4756 最大公因数函数部分值关系instance
(instance GreatestCommonDivisorFn VariableArityRelation) Merge.kif 4755-4755 最大公因数函数不定次元关系instance
(range GreatestCommonDivisorFn Integer) Merge.kif 4757-4757 最大公因数函数range整数 的实例

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


(format ChineseLanguage GreatestCommonDivisorFn "%*[and] 的最大公因数") chinese_format.kif 700-700
(format EnglishLanguage GreatestCommonDivisorFn "the greatest common divisor of %*[and]") english_format.kif 702-702
(termFormat ChineseLanguage GreatestCommonDivisorFn "最大公因数函数") chinese_format.kif 701-701
(termFormat ChineseLanguage GreatestCommonDivisorFn "最大公约数") domainEnglishFormat.kif 26535-26535
(termFormat ChineseTraditionalLanguage GreatestCommonDivisorFn "最大公約數") domainEnglishFormat.kif 26534-26534
(termFormat EnglishLanguage GreatestCommonDivisorFn "greatest common divisor") domainEnglishFormat.kif 26533-26533

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


(=>
    (and
        (equal
            (GreatestCommonDivisorFn @ROW) ?NUMBER)
        (not
            (equal ?NUMBER 0)))
    (forall (?ELEMENT)
        (=>
            (inList ?ELEMENT
                (ListFn @ROW))
            (equal
                (RemainderFn ?ELEMENT ?NUMBER) 0))))
Merge.kif 4771-4782
(=>
    (and
        (equal
            (GreatestCommonDivisorFn @ROW) ?NUMBER)
        (not
            (equal ?NUMBER 0)))
    (not
        (exists (?GREATER)
            (and
                (greaterThan ?GREATER ?NUMBER)
                (forall (?ELEMENT)
                    (=>
                        (inList ?ELEMENT
                            (ListFn @ROW))
                        (equal
                            (RemainderFn ?ELEMENT ?GREATER) 0)))))))
Merge.kif 4784-4798
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4764-4769


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