| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners