Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AppleMacOSSystem5(Apple mac oS system5) |
| appearance as argument number 1 |
|
| (subclass AppleMacOSSystem5 AppleMacOS) | ComputingBrands.kif 215-215 | Apple mac oS system5 is a subclass of Mac OS |
| (documentation AppleMacOSSystem5 EnglishLanguage "Mac OS version also marketed as System 5") | ComputingBrands.kif 216-216 | Apple mac oS system5 is a subclass of Mac OS |
| (documentation AppleMacOSSystem5 ChineseTraditionalLanguage "Mac OS 版本亦推廣為System 5") | ComputingBrands.kif 217-217 | Apple mac oS system5 is a subclass of Mac OS |
| (documentation AppleMacOSSystem5 ChineseLanguage "Mac OS 版本亦推广为System 5") | ComputingBrands.kif 218-218 | Apple mac oS system5 is a subclass of Mac OS |
| (documentation AppleMacOSSystem5 JapaneseLanguage "Mac OSバージョン、別名システム5") | ComputingBrands.kif 219-219 | Apple mac oS system5 is a subclass of Mac OS |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AppleMacOSSystem5 "Apple mac oS system5") | domainEnglishFormat.kif 64466-64466 |
|