Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MacOSMojave(Mojave) |
| appearance as argument number 1 |
|
| (documentation MacOSMojave EnglishLanguage "macOS Mojave – 10.14") | ComputingBrands.kif 570-570 | |
| (documentation MacOSMojave ChineseTraditionalLanguage "macOS Mojave – 10.14") | ComputingBrands.kif 571-571 | |
| (documentation MacOSMojave ChineseLanguage "macOS Mojave – 10.14") | ComputingBrands.kif 572-572 | |
| (documentation MacOSMojave JapaneseLanguage "macOS Mojave – 10.14") | ComputingBrands.kif 573-573 | |
| (subclass MacOSMojave AppleMacOSX) | ComputingBrands.kif 589-589 | Mojave is a subclass of Apple mac oSX |
| appearance as argument number 2 |
|
|
|