Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
multiplicativeFactor
Sigma KEE - multiplicativeFactor
multiplicativeFactor
appearance as argument number 1
(
documentation
multiplicativeFactor
ChineseLanguage
"(multiplicativeFactor ?NUMBER1 ?NUMBER2)的意思是 ?NUMBER1 是 ?NUMBER2 因子,即是 ?NUMBER1 可以成某些
Integer
而得出 ?NUMBER2。")
chinese_format.kif 2238-2240
(
documentation
multiplicativeFactor
EnglishLanguage
"(multiplicativeFactor ?NUMBER1 ?NUMBER2)means that ?NUMBER1 is a factor of ?NUMBER2, i.e. ?NUMBER1 can be multiplied by some
Integer
to give ?NUMBER2 as a result.")
Merge.kif 4890-4892
(
documentation
multiplicativeFactor
JapaneseLanguage
"(multiplicativeFactor ?NUMBER1 ?NUMBER2) とは、?NUMBER1 が ?NUMBER2 の係数、すなわち ?NUMBER2 であることを意味する。?NUMBER1 は、結果として ?NUMBER2 を与えるためにいくつかの Intege を乗算できる。")
japanese_format.kif 902-904
(
domain
multiplicativeFactor
1
Integer
)
Merge.kif 4896-4896
The number 1 argument of
multiplicative factor
is an
instance
of
integer
(
domain
multiplicativeFactor
2
Integer
)
Merge.kif 4897-4897
The number 2 argument of
multiplicative factor
is an
instance
of
integer
(
instance
multiplicativeFactor
BinaryPredicate
)
Merge.kif 4894-4894
multiplicative factor
is an
instance
of
binary predicate
(
instance
multiplicativeFactor
TransitiveRelation
)
Merge.kif 4895-4895
multiplicative factor
is an
instance
of
transitive relation
appearance as argument number 2
(
format
ChineseLanguage
multiplicativeFactor
"%2 %n 是 %1 的 multiplicative 因子")
domainEnglishFormat.kif 1763-1763
(
format
ChineseTraditionalLanguage
multiplicativeFactor
"%2 %n 是 %1 的 multiplicative 因子")
domainEnglishFormat.kif 1762-1762
(
format
EnglishLanguage
multiplicativeFactor
"%2 is %n a multiplicative factor of %1")
domainEnglishFormat.kif 1761-1761
(
termFormat
ChineseLanguage
multiplicativeFactor
"乘法因子")
domainEnglishFormat.kif 39189-39189
(
termFormat
ChineseTraditionalLanguage
multiplicativeFactor
"乘法因子")
domainEnglishFormat.kif 39188-39188
(
termFormat
EnglishLanguage
multiplicativeFactor
"multiplicative factor")
domainEnglishFormat.kif 39187-39187
antecedent
(=>
(
multiplicativeFactor
?N1 ?N2)
(
exists
(?I)
(
and
(
instance
?I
Integer
)
(
equal
?N2
(
MultiplicationFn
?N1 ?I)))))
Merge.kif 4899-4904
If
an integer
is a
multiplicative
factor of
another integer
,
then there exists
a real number
such that
the real number
is an
instance
of
integer
and
the integer
is
equal
to
the other integer
and
the real number
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