Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
BeaufortNumber0
BeaufortNumber1
BeaufortNumber10
BeaufortNumber11
BeaufortNumber12
BeaufortNumber2
BeaufortNumber3
BeaufortNumber4
BeaufortNumber5
BeaufortNumber6
BeaufortNumber7
BeaufortNumber8
BeaufortNumber9
BeaufortNumberAttribute
ChineseLanguage
ChineseLanguge
ChineseTraditionalLanguage
ChinesehLanguage
Chineselanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SpeedScaleAttribute
SwedishLanguage
speedScaleAttributeMinMax
windDrivenMotion
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 4673-4675
(
domain
GreatestCommonDivisorFn
1
Integer
)
Merge.kif 4671-4671
(
instance
GreatestCommonDivisorFn
Function
)
Merge.kif 4667-4667
(
instance
GreatestCommonDivisorFn
PartialValuedRelation
)
Merge.kif 4669-4669
(
instance
GreatestCommonDivisorFn
VariableArityRelation
)
Merge.kif 4668-4668
(
range
GreatestCommonDivisorFn
Integer
)
Merge.kif 4670-4670
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 26542-26542
(
termFormat
ChineseTraditionalLanguage
GreatestCommonDivisorFn
"最大公約數")
domainEnglishFormat.kif 26541-26541
(
termFormat
EnglishLanguage
GreatestCommonDivisorFn
"greatest common divisor")
domainEnglishFormat.kif 26540-26540
antecedent
(=>
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4677-4682
(=>
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?NUMBER) 0))))
Merge.kif 4684-4689
(=>
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
exists
(?GREATER)
(
and
(
greaterThan
?GREATER ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?GREATER) 0)))))))
Merge.kif 4691-4699
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