Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WindowsVista(Windows Vista) |
| appearance as argument number 1 |
|
| (documentation WindowsVista EnglishLanguage "Microsoft Windows Vista (2006)") | ComputingBrands.kif 1075-1075 | |
| (documentation WindowsVista ChineseTraditionalLanguage "微軟 Windows Vista (2006)") | ComputingBrands.kif 1076-1076 | |
| (documentation WindowsVista ChineseLanguage "微软 Windows Vista (2006)") | ComputingBrands.kif 1077-1077 | |
| (documentation WindowsVista JapaneseLanguage "Microsoft Windows Vista (2006)") | ComputingBrands.kif 1078-1078 | |
| (subclass WindowsVista WindowsOS) | ComputingBrands.kif 1084-1084 | Windows Vista is a subclass of windows OS |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WindowsVista "Windows Vista") | ComputingBrands.kif 1080-1080 | |
| (termFormat ChineseTraditionalLanguage WindowsVista "Windows Vista") | ComputingBrands.kif 1081-1081 | |
| (termFormat ChineseLanguage WindowsVista "Windows Vista") | ComputingBrands.kif 1082-1082 | |
| (termFormat JapaneseLanguage WindowsVista "Windows Vista") | ComputingBrands.kif 1083-1083 |
|