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的平方根的部分。") 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 4846-4847
(domain ImaginaryPartFn 1 ComplexNumber) Merge.kif 4843-4843
(instance ImaginaryPartFn TotalValuedRelation) Merge.kif 4842-4842
(instance ImaginaryPartFn UnaryFunction) Merge.kif 4841-4841
(range ImaginaryPartFn ImaginaryNumber) Merge.kif 4844-4844

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
(termFormat ChineseLanguage ImaginaryPartFn "想象的部分") domainEnglishFormat.kif 29309-29309
(termFormat ChineseLanguage ImaginaryPartFn "虚数函数") chinese_format.kif 703-703
(termFormat ChineseTraditionalLanguage ImaginaryPartFn "想像的部分") domainEnglishFormat.kif 29308-29308
(termFormat EnglishLanguage ImaginaryPartFn "imaginary part") domainEnglishFormat.kif 29307-29307


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