MicrosoftCorporation
|
|
appearance as argument number 1 |
(creator MicrosoftCorporation ActiveSync) | ComputingBrands.kif 1770-1770 | |
(instance MicrosoftCorporation Corporation) | ComputingBrands.kif 49-49 |
appearance as argument number 2 |
(termFormat ChineseLanguage MicrosoftCorporation "微软") | ComputingBrands.kif 57-57 | |
(termFormat ChineseLanguage MicrosoftCorporation "微软公司") | ComputingBrands.kif 51-51 | |
(termFormat ChineseTraditionalLanguage MicrosoftCorporation "微軟") | ComputingBrands.kif 56-56 | |
(termFormat ChineseTraditionalLanguage MicrosoftCorporation "微軟公司") | ComputingBrands.kif 52-52 | |
(termFormat EnglishLanguage MicrosoftCorporation "Microsoft Corporation") | ComputingBrands.kif 50-50 | |
(termFormat EnglishLanguage MicrosoftCorporation "Microsoft") | ComputingBrands.kif 55-55 | |
(termFormat JapaneseLanguage MicrosoftCorporation "マイクロソフト コーポレーション") | ComputingBrands.kif 53-53 | |
(termFormat JapaneseLanguage MicrosoftCorporation "マイクロソフト") | ComputingBrands.kif 58-58 |
consequent |
(=> (and (subclass ?OS WindowsOS) (instance ?INST ?OS)) (creator MicrosoftCorporation ?INST)) |
ComputingBrands.kif 62-66 |