Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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 4754-4756
(
domain
GreatestCommonDivisorFn
1
Integer
)
Merge.kif 4752-4752
(
instance
GreatestCommonDivisorFn
Function
)
Merge.kif 4748-4748
(
instance
GreatestCommonDivisorFn
PartialValuedRelation
)
Merge.kif 4750-4750
(
instance
GreatestCommonDivisorFn
VariableArityRelation
)
Merge.kif 4749-4749
(
range
GreatestCommonDivisorFn
Integer
)
Merge.kif 4751-4751
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 4765-4776
(=>
(
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 4778-4792
(=>
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4758-4763
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