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
ImaginaryPartFn
Sigma KEE - ImaginaryPartFn
ImaginaryPartFn
appearance as argument number 1
(
documentation
ImaginaryPartFn
ChineseLanguage
"(
ImaginaryPartFn
?NUMBER) 得出 ?NUMBER 有它的因子为-1的平方根的部分。")
chinese_format.kif 2241-2242
(
documentation
ImaginaryPartFn
EnglishLanguage
"(
ImaginaryPartFn
?NUMBER) returns the part of ?NUMBER that has the square root of -1 as its factor.")
Merge.kif 4912-4913
(
documentation
ImaginaryPartFn
JapaneseLanguage
"(
ImaginaryPartFn
?NUMBER) は、-1 の平方 根を持つ ?NUMBER の部分を係数として返す。")
japanese_format.kif 905-906
(
domain
ImaginaryPartFn
1
ComplexNumber
)
Merge.kif 4909-4909
(
instance
ImaginaryPartFn
TotalValuedRelation
)
Merge.kif 4908-4908
(
instance
ImaginaryPartFn
UnaryFunction
)
Merge.kif 4907-4907
(
range
ImaginaryPartFn
ImaginaryNumber
)
Merge.kif 4910-4910
appearance as argument number 2
(
format
ChineseLanguage
ImaginaryPartFn
"%1 的虚数")
chinese_format.kif 702-702
(
format
EnglishLanguage
ImaginaryPartFn
"the imaginary part of %1")
english_format.kif 704-704
(
format
FrenchLanguage
ImaginaryPartFn
"la partie immaginaire de %1")
french_format.kif 424-424
(
format
ItalianLanguage
ImaginaryPartFn
"la
part
e immaginaria di %1")
relations-it.txt 136-136
(
format
JapaneseLanguage
ImaginaryPartFn
"%1 の imaginary 部")
japanese_format.kif 2141-2141
(
format
PortugueseLanguage
ImaginaryPartFn
"a parte imaginaria de %1")
portuguese_format.kif 376-376
(
format
de
ImaginaryPartFn
"das imaginaere teil von %1")
relations-de.txt 915-915
(
format
hi
ImaginaryPartFn
"%1 kaa kaalpanika bhaaga")
relations-hindi.txt 175-175
(
format
ro
ImaginaryPartFn
"partea imaginary%t{imaginarã} a lui %1")
relations-ro.kif 446-446
(
format
sv
ImaginaryPartFn
"den imaginära delen av %1")
relations-sv.txt 475-475
(
format
tg
ImaginaryPartFn
"ang paghanduraw bahagi ng %1")
relations-tg.txt 276-276
(
termFormat
ChineseLanguage
ImaginaryPartFn
"想象的部分")
domainEnglishFormat.kif 29319-29319
(
termFormat
ChineseLanguage
ImaginaryPartFn
"虚数函数")
chinese_format.kif 703-703
(
termFormat
ChineseTraditionalLanguage
ImaginaryPartFn
"想像的部分")
domainEnglishFormat.kif 29318-29318
(
termFormat
EnglishLanguage
ImaginaryPartFn
"imaginary part")
domainEnglishFormat.kif 29317-29317
(
termFormat
tg
ImaginaryPartFn
"tungkulin ng paghanduraw bahagi")
relations-tg.txt 277-277
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