Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ComplexNumber
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AppleMacOSSystem9 AppleMacOS) | ComputingBrands.kif 239-239 | Apple mac oS system9 is a subclass of Mac OS |
| (documentation AppleMacOSSystem9 EnglishLanguage "Mac OS version. Mac OS 9.2.2 was the last version of Classic Mac OS") | ComputingBrands.kif 240-241 | Apple mac oS system9 is a subclass of Mac OS |
| (documentation AppleMacOSSystem9 ChineseTraditionalLanguage "Mac OS 版本。 Mac OS 9.2.2 是最后一个原始 Mac OS 版本。") | ComputingBrands.kif 242-243 | Apple mac oS system9 is a subclass of Mac OS |
| (documentation AppleMacOSSystem9 ChineseLanguage "Mac OS 版本。 Mac OS 9.2.2 是最后一个 原始 Mac OS的版本。") | ComputingBrands.kif 244-244 | Apple mac oS system9 is a subclass of Mac OS |
| (documentation AppleMacOSSystem9 JapaneseLanguage "Mac OSバージョン。 Mac OS 9.2.2が伝統的 なMac OSの最後のバージョンである。") | ComputingBrands.kif 245-246 | Apple mac oS system9 is a subclass of Mac OS |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AppleMacOSSystem9 "Apple mac oS system9") | domainEnglishFormat.kif 64470-64470 |
|