Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ImaginaryPartFn

Sigma KEE - ImaginaryPartFn
ImaginaryPartFn

appearance as argument number 1
-------------------------


(documentation ImaginaryPartFn ChineseLanguage "(ImaginaryPartFn ?NUMBER) 得出 ?NUMBER 有它的因子为-1的平方根的部分。") Merge.kif 5052-5053
(documentation ImaginaryPartFn EnglishLanguage "(ImaginaryPartFn ?NUMBER) returns the part of ?NUMBER that has the square root of -1 as its factor.") Merge.kif 5050-5051
(domain ImaginaryPartFn 1 ComplexNumber) Merge.kif 5048-5048
(instance ImaginaryPartFn TotalValuedRelation) Merge.kif 5047-5047
(instance ImaginaryPartFn UnaryFunction) Merge.kif 5046-5046
(range ImaginaryPartFn ImaginaryNumber) Merge.kif 5049-5049

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 435-435
(format FrenchLanguage ImaginaryPartFn "la partie immaginaire de %1") french_format.kif 424-424
(format ItalianLanguage ImaginaryPartFn "la parte immaginaria di %1") relations-it.txt 136-136
(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 tg ImaginaryPartFn "ang paghanduraw bahagi ng %1") relations-tg.txt 276-276
(termFormat ChineseLanguage ImaginaryPartFn "虚数函数") chinese_format.kif 703-703
(termFormat EnglishLanguage ImaginaryPartFn "imaginary part") domainEnglishFormat.kif 5304-5304
(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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners