AndroidOS |
appearance as argument number 1 |
(subclass AndroidOS PhoneOS) | ComputingBrands.kif 28-28 | AndroidOS e' uma sub-classe de PhoneOS |
appearance as argument number 2 |
(termFormat ChineseLanguage AndroidOS "Android 作业系统") | ComputingBrands.kif 41-41 | |
(termFormat ChineseLanguage AndroidOS "Android") | ComputingBrands.kif 46-46 | |
(termFormat ChineseTraditionalLanguage AndroidOS "Android 操作系統") | ComputingBrands.kif 40-40 | |
(termFormat ChineseTraditionalLanguage AndroidOS "Android") | ComputingBrands.kif 45-45 | |
(termFormat EnglishLanguage AndroidOS "Android OS") | ComputingBrands.kif 36-36 | |
(termFormat EnglishLanguage AndroidOS "Android Operating System") | ComputingBrands.kif 39-39 | |
(termFormat EnglishLanguage AndroidOS "Android") | ComputingBrands.kif 44-44 | |
(termFormat JapaneseLanguage AndroidOS "Android OS") | ComputingBrands.kif 37-37 | |
(termFormat JapaneseLanguage AndroidOS "Android オペレーティングシステム") | ComputingBrands.kif 42-42 | |
(termFormat JapaneseLanguage AndroidOS "Android") | ComputingBrands.kif 47-47 |
antecedent |
(=> (and (subclass ?OS AndroidOS) (instance ?INST ?OS)) (creator AlphabetCorporation ?INST)) |
ComputingBrands.kif 30-34 |