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
-------------------------


s__documentation(s__GreatestCommonDivisorFn__m,s__ChineseLanguage,'"(GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER)得出 ?NUMBER1 到 ?NUMBER 的最大公约数。"')

chinese_format.kif 2236-2237
s__documentation(s__GreatestCommonDivisorFn__m,s__EnglishLanguage,'"(GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the greatest common divisor of ?NUMBER1 through ?NUMBER."')

Merge.kif 4712-4714
s__domain(s__GreatestCommonDivisorFn__m,n__1,s__Integer)

Merge.kif 4710-4710 The number 1 argument of greatest common divisor is an instance of integer
s__instance(s__GreatestCommonDivisorFn__m,s__Function)

s__instance(s__Function,s__Class)

Merge.kif 4706-4706 Greatest common divisor is an instance of function
s__instance(s__PartialValuedRelation,s__Class)

s__instance(s__GreatestCommonDivisorFn__m,s__PartialValuedRelation)

Merge.kif 4708-4708 Greatest common divisor is an instance of partial valued relation
s__instance(s__VariableArityRelation,s__Class)

s__instance(s__GreatestCommonDivisorFn__m,s__VariableArityRelation)

Merge.kif 4707-4707 Greatest common divisor is an instance of variable arity relation
s__range(s__GreatestCommonDivisorFn__m,s__Integer)

Merge.kif 4709-4709 The range of greatest common divisor is an instance of integer

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


s__format(s__ChineseLanguage,s__GreatestCommonDivisorFn__m,'"%*[and] 的最大公因数"')

chinese_format.kif 700-700
s__format(s__EnglishLanguage,s__GreatestCommonDivisorFn__m,'"the greatest common divisor of %*[and]"')

english_format.kif 702-702
s__termFormat(s__ChineseLanguage,s__GreatestCommonDivisorFn__m,'"最大公因数函数"')

chinese_format.kif 701-701
s__termFormat(s__ChineseLanguage,s__GreatestCommonDivisorFn__m,'"最大公约数"')

domainEnglishFormat.kif 26535-26535
s__termFormat(s__ChineseTraditionalLanguage,s__GreatestCommonDivisorFn__m,'"最大公約數"')

domainEnglishFormat.kif 26534-26534
s__termFormat(s__EnglishLanguage,s__GreatestCommonDivisorFn__m,'"greatest common divisor"')

domainEnglishFormat.kif 26533-26533

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


( ! [V__ELEMENT,V__ROW2,V__NUMBER] :
   (((s__instance(V__ROW2,s__Integer) &
         s__instance(V__NUMBER,s__Integer))
       =>
       (((s__GreatestCommonDivisorFn__1Fn(V__ROW2)
           = V__NUMBER)
         =>
         ((s__inList(V__ELEMENT,s__ListFn__1Fn(V__ROW2))
         =>
         (s__instance(V__ELEMENT,s__Number)))))))
)
)

( ! [V__ELEMENT,V__ROW3,V__ROW2,V__NUMBER] :
   (((s__instance(V__ROW3,s__Integer) &
         s__instance(V__ROW2,s__Integer) &
         s__instance(V__NUMBER,s__Integer))
       =>
       (((s__GreatestCommonDivisorFn__2Fn(V__ROW2,V__ROW3)
           = V__NUMBER)
         =>
         ((s__inList(V__ELEMENT,s__ListFn__2Fn(V__ROW2,V__ROW3))
         =>
         (s__instance(V__ELEMENT,s__Number)))))))
)
)

( ! [V__ROW5,V__ELEMENT,V__ROW3,V__ROW4,V__ROW2,V__NUMBER] :
   (((s__instance(V__ROW5,s__Integer) &
         s__instance(V__ROW3,s__Integer) &
         s__instance(V__ROW4,s__Integer) &
         s__instance(V__ROW2,s__Integer) &
         s__instance(V__NUMBER,s__Integer))
       =>
       (((s__GreatestCommonDivisorFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
           = V__NUMBER)
         =>
         ((s__inList(V__ELEMENT,s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
         =>
         (s__instance(V__ELEMENT,s__Number)))))))
)
)

( ! [V__ROW5,V__ROW6,V__ELEMENT,V__ROW3,V__ROW4,V__ROW2,V__NUMBER] :
   (((s__instance(V__ROW5,s__Integer) &
         s__instance(V__ROW6,s__Integer) &
         s__instance(V__ROW3,s__Integer) &
         s__instance(V__ROW4,s__Integer) &
         s__instance(V__ROW2,s__Integer) &
         s__instance(V__NUMBER,s__Integer))
       =>
       (((s__GreatestCommonDivisorFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
           = V__NUMBER)
         =>
         ((s__inList(V__ELEMENT,s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
         =>
         (s__instance(V__ELEMENT,s__Number)))))))
)
)

( ! [V__ELEMENT,V__ROW3,V__ROW4,V__ROW2,V__NUMBER] :
   (((s__instance(V__ROW3,s__Integer) &
         s__instance(V__ROW4,s__Integer) &
         s__instance(V__ROW2,s__Integer) &
         s__instance(V__NUMBER,s__Integer))
       =>
       (((s__GreatestCommonDivisorFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
           = V__NUMBER)
         =>
         ((s__inList(V__ELEMENT,s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
         =>
         (s__instance(V__ELEMENT,s__Number)))))))
)
)

Merge.kif 4716-4721
( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2,V__NUMBER] :
   (((s__instance(V__ROW5,s__Integer) &
         s__instance(V__ROW3,s__Integer) &
         s__instance(V__ROW4,s__Integer) &
         s__instance(V__ROW2,s__Integer) &
         s__instance(V__NUMBER,s__Integer))
       =>
       (((s__GreatestCommonDivisorFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
           = V__NUMBER)
         =>
         (( ! [V__ELEMENT] :
             ((s__instance(V__ELEMENT,s__Integer) =>
                 ((s__inList(V__ELEMENT,s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
                 =>
                 ((s__RemainderFn(V__ELEMENT,V__NUMBER)
                   = n__0)))))))))))
)
)

( ! [V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__ROW2,V__NUMBER] :
   (((s__instance(V__ROW5,s__Integer) &
         s__instance(V__ROW6,s__Integer) &
         s__instance(V__ROW3,s__Integer) &
         s__instance(V__ROW4,s__Integer) &
         s__instance(V__ROW2,s__Integer) &
         s__instance(V__NUMBER,s__Integer))
       =>
       (((s__GreatestCommonDivisorFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
           = V__NUMBER)
         =>
         (( ! [V__ELEMENT] :
             ((s__instance(V__ELEMENT,s__Integer) =>
                 ((s__inList(V__ELEMENT,s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
                 =>
                 ((s__RemainderFn(V__ELEMENT,V__NUMBER)
                   = n__0)))))))))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER] :
   (((s__instance(V__ROW3,s__Integer) &
         s__instance(V__ROW2,s__Integer) &
         s__instance(V__NUMBER,s__Integer))
       =>
       (((s__GreatestCommonDivisorFn__2Fn(V__ROW2,V__ROW3)
           = V__NUMBER)
         =>
         (( ! [V__ELEMENT] :
             ((s__instance(V__ELEMENT,s__Integer) =>
                 ((s__inList(V__ELEMENT,s__ListFn__2Fn(V__ROW2,V__ROW3))
                 =>
                 ((s__RemainderFn(V__ELEMENT,V__NUMBER)
                   = n__0)))))))))))
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER] :
   (((s__instance(V__ROW3,s__Integer) &
         s__instance(V__ROW4,s__Integer) &
         s__instance(V__ROW2,s__Integer) &
         s__instance(V__NUMBER,s__Integer))
       =>
       (((s__GreatestCommonDivisorFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
           = V__NUMBER)
         =>
         (( ! [V__ELEMENT] :
             ((s__instance(V__ELEMENT,s__Integer) =>
                 ((s__inList(V__ELEMENT,s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                 =>
                 ((s__RemainderFn(V__ELEMENT,V__NUMBER)
                   = n__0)))))))))))
)
)

( ! [V__ROW2,V__NUMBER] :
   (((s__instance(V__ROW2,s__Integer) &
         s__instance(V__NUMBER,s__Integer))
       =>
       (((s__GreatestCommonDivisorFn__1Fn(V__ROW2)
           = V__NUMBER)
         =>
         (( ! [V__ELEMENT] :
             ((s__instance(V__ELEMENT,s__Integer) =>
                 ((s__inList(V__ELEMENT,s__ListFn__1Fn(V__ROW2))
                 =>
                 ((s__RemainderFn(V__ELEMENT,V__NUMBER)
                   = n__0)))))))))))
)
)

Merge.kif 4723-4728
( ! [V__ROW3,V__ROW2,V__NUMBER] :
   (((s__instance(V__ROW3,s__Integer) &
         s__instance(V__ROW2,s__Integer) &
         s__instance(V__NUMBER,s__Integer))
       =>
       (((s__GreatestCommonDivisorFn__2Fn(V__ROW2,V__ROW3)
           = V__NUMBER)
         =>
         (~(( ? [V__GREATER] :
               ((s__instance(V__GREATER,s__Integer) &
                   (s__greaterThan(V__GREATER,V__NUMBER)
                   &
                   ( ! [V__ELEMENT] :
                     ((s__instance(V__ELEMENT,s__Integer) =>
                         ((s__inList(V__ELEMENT,s__ListFn__2Fn(V__ROW2,V__ROW3))
                         =>
                         ((s__RemainderFn(V__ELEMENT,V__GREATER)
                           = n__0))))))))))))))))
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER] :
   (((s__instance(V__ROW3,s__Integer) &
         s__instance(V__ROW4,s__Integer) &
         s__instance(V__ROW2,s__Integer) &
         s__instance(V__NUMBER,s__Integer))
       =>
       (((s__GreatestCommonDivisorFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
           = V__NUMBER)
         =>
         (~(( ? [V__GREATER] :
               ((s__instance(V__GREATER,s__Integer) &
                   (s__greaterThan(V__GREATER,V__NUMBER)
                   &
                   ( ! [V__ELEMENT] :
                     ((s__instance(V__ELEMENT,s__Integer) =>
                         ((s__inList(V__ELEMENT,s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                         =>
                         ((s__RemainderFn(V__ELEMENT,V__GREATER)
                           = n__0))))))))))))))))
)
)

( ! [V__ROW2,V__NUMBER] :
   (((s__instance(V__ROW2,s__Integer) &
         s__instance(V__NUMBER,s__Integer))
       =>
       (((s__GreatestCommonDivisorFn__1Fn(V__ROW2)
           = V__NUMBER)
         =>
         (~(( ? [V__GREATER] :
               ((s__instance(V__GREATER,s__Integer) &
                   (s__greaterThan(V__GREATER,V__NUMBER)
                   &
                   ( ! [V__ELEMENT] :
                     ((s__instance(V__ELEMENT,s__Integer) =>
                         ((s__inList(V__ELEMENT,s__ListFn__1Fn(V__ROW2))
                         =>
                         ((s__RemainderFn(V__ELEMENT,V__GREATER)
                           = n__0))))))))))))))))
)
)

( ! [V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__ROW2,V__NUMBER] :
   (((s__instance(V__ROW5,s__Integer) &
         s__instance(V__ROW6,s__Integer) &
         s__instance(V__ROW3,s__Integer) &
         s__instance(V__ROW4,s__Integer) &
         s__instance(V__ROW2,s__Integer) &
         s__instance(V__NUMBER,s__Integer))
       =>
       (((s__GreatestCommonDivisorFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
           = V__NUMBER)
         =>
         (~(( ? [V__GREATER] :
               ((s__instance(V__GREATER,s__Integer) &
                   (s__greaterThan(V__GREATER,V__NUMBER)
                   &
                   ( ! [V__ELEMENT] :
                     ((s__instance(V__ELEMENT,s__Integer) =>
                         ((s__inList(V__ELEMENT,s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
                         =>
                         ((s__RemainderFn(V__ELEMENT,V__GREATER)
                           = n__0))))))))))))))))
)
)

( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2,V__NUMBER] :
   (((s__instance(V__ROW5,s__Integer) &
         s__instance(V__ROW3,s__Integer) &
         s__instance(V__ROW4,s__Integer) &
         s__instance(V__ROW2,s__Integer) &
         s__instance(V__NUMBER,s__Integer))
       =>
       (((s__GreatestCommonDivisorFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
           = V__NUMBER)
         =>
         (~(( ? [V__GREATER] :
               ((s__instance(V__GREATER,s__Integer) &
                   (s__greaterThan(V__GREATER,V__NUMBER)
                   &
                   ( ! [V__ELEMENT] :
                     ((s__instance(V__ELEMENT,s__Integer) =>
                         ((s__inList(V__ELEMENT,s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
                         =>
                         ((s__RemainderFn(V__ELEMENT,V__GREATER)
                           = n__0))))))))))))))))
)
)

Merge.kif 4730-4738


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