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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 4619-4621
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4617-4617 domain GreatestCommonDivisorFn, 1 and Integer
(instance GreatestCommonDivisorFn Function) Merge.kif 4613-4613 instance GreatestCommonDivisorFn and Function
(instance GreatestCommonDivisorFn PartialValuedRelation) Merge.kif 4615-4615 instance GreatestCommonDivisorFn and PartialValuedRelation
(instance GreatestCommonDivisorFn VariableArityRelation) Merge.kif 4614-4614 instance GreatestCommonDivisorFn and VariableArityRelation
(range GreatestCommonDivisorFn Integer) Merge.kif 4616-4616 range GreatestCommonDivisorFn and Integer

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 705-705
(termFormat ChineseLanguage GreatestCommonDivisorFn "最大公因数函数") chinese_format.kif 701-701
(termFormat ChineseLanguage GreatestCommonDivisorFn "最大公约数") domainEnglishFormat.kif 26467-26467
(termFormat ChineseTraditionalLanguage GreatestCommonDivisorFn "最大公約數") domainEnglishFormat.kif 26466-26466
(termFormat EnglishLanguage GreatestCommonDivisorFn "greatest common divisor") domainEnglishFormat.kif 26465-26465

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


(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4623-4628
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (forall (?ELEMENT)
        (=>
            (inList ?ELEMENT
                (ListFn @ROW))
            (equal
                (RemainderFn ?ELEMENT ?NUMBER) 0))))
Merge.kif 4630-4635
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (not
        (exists (?GREATER)
            (and
                (greaterThan ?GREATER ?NUMBER)
                (forall (?ELEMENT)
                    (=>
                        (inList ?ELEMENT
                            (ListFn @ROW))
                        (equal
                            (RemainderFn ?ELEMENT ?GREATER) 0)))))))
Merge.kif 4637-4645


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