Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Object
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AppleMacOSSystem6 AppleMacOS) | ComputingBrands.kif 222-222 | Apple mac oS system6 is a subclass of Mac OS |
| (documentation AppleMacOSSystem6 EnglishLanguage "Mac OS version also marketed as System 6") | ComputingBrands.kif 223-223 | Apple mac oS system6 is a subclass of Mac OS |
| (documentation AppleMacOSSystem6 ChineseTraditionalLanguage "Mac OS 版本亦推廣為System 6") | ComputingBrands.kif 224-224 | Apple mac oS system6 is a subclass of Mac OS |
| (documentation AppleMacOSSystem6 ChineseLanguage "Mac OS 版本亦推广为System 6") | ComputingBrands.kif 225-225 | Apple mac oS system6 is a subclass of Mac OS |
| (documentation AppleMacOSSystem6 JapaneseLanguage "Mac OSバージョン、別名システム6") | ComputingBrands.kif 226-226 | Apple mac oS system6 is a subclass of Mac OS |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AppleMacOSSystem6 "Apple mac oS system6") | domainEnglishFormat.kif 64467-64467 |
|