|
|
   ChurchOfGodOfProphecy ComplexNumber
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint ComplexNumber RealNumber) | Merge.kif 2009-2009 | 复数 和 % 2 是 disjoint |
| (documentation ComplexNumber ChineseLanguage "这是一个有来自x + yi形式的Number，x和y是 RealNumber，i是-1的平方根。") | chinese_format.kif 1757-1758 | |
| (documentation ComplexNumber EnglishLanguage "A Number that has the form: x + yi, where x and y are RealNumbers and i is the square root of -1.") | Merge.kif 2011-2012 | |
| (documentation ComplexNumber JapaneseLanguage "Number の形式が x + yiで、x と yが RealNumbers であり、i が -1 の平方根。") | japanese_format.kif 366-367 | |
| (externalImage ComplexNumber "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Complex_number.jpg") | pictureList.kif 4867-4867 | |
| (externalImage ComplexNumber "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ Complex_conjugate_picture.svg") | pictureList.kif 4622-4622 | |
| (subclass ComplexNumber Number) | Merge.kif 2008-2008 | 复数 是 数字 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ComplexNumber "复数") | chinese_format.kif 874-874 | |
| (termFormat EnglishLanguage ComplexNumber "complex number") | english_format.kif 950-950 | |
| (termFormat FrenchLanguage ComplexNumber "nombre complexe") | french_format.kif 550-550 | |
| (termFormat Hindi ComplexNumber "sanyukta anka") | terms-hindi.txt 80-80 | |
| (termFormat ItalianLanguage ComplexNumber "NumeroComplesso") | terms-it.txt 83-83 | |
| (termFormat JapaneseLanguage ComplexNumber "複素数") | japanese_format.kif 2235-2235 | |
| (termFormat PortugueseLanguage ComplexNumber "Numero Complexo") | portuguese_format.kif 502-502 | |
| (termFormat cz ComplexNumber "complex number") | terms-cz.txt 117-117 | |
| (termFormat ro ComplexNumber "numãr complex") | relations-ro.kif 571-571 | |
| (termFormat tg ComplexNumber "halu-halong numero") | terms-tg.txt 84-84 |
| appearance as argument number 3 |
|
|
| (domain ImaginaryPartFn 1 ComplexNumber) | Merge.kif 4909-4909 | 虚数函数 的 1 数量 是 复数 的 instance |
| appearance as argument number 4 |
|
|
| (partition Number RealNumber ImaginaryNumber ComplexNumber) | Merge.kif 1825-1825 | 数字 详尽无遗地 partition 成 实数, 虚数, 和 复数 |
|
|
|
