Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  MicrosoftCorporation

 Sigma KEE - MicrosoftCorporation
MicrosoftCorporation(Microsoft)

appearance as argument number 1
-------------------------


(instance MicrosoftCorporation Corporation) ComputingBrands.kif 49-49 Microsoft is an instance of corporation
(creator MicrosoftCorporation ActiveSync) ComputingBrands.kif 1770-1770 Microsoft created ActiveSync

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage MicrosoftCorporation "Microsoft Corporation") ComputingBrands.kif 50-50
(termFormat ChineseLanguage MicrosoftCorporation "微软公司") ComputingBrands.kif 51-51
(termFormat ChineseTraditionalLanguage MicrosoftCorporation "微軟公司") ComputingBrands.kif 52-52
(termFormat JapaneseLanguage MicrosoftCorporation "マイクロソフト コーポレーション") ComputingBrands.kif 53-53
(termFormat EnglishLanguage MicrosoftCorporation "Microsoft") ComputingBrands.kif 55-55
(termFormat ChineseTraditionalLanguage MicrosoftCorporation "微軟") ComputingBrands.kif 56-56
(termFormat ChineseLanguage MicrosoftCorporation "微软") ComputingBrands.kif 57-57
(termFormat JapaneseLanguage MicrosoftCorporation "マイクロソフト") ComputingBrands.kif 58-58

consequent
-------------------------


(=>
    (and
        (subclass ?OS WindowsOS)
        (instance ?INST ?OS))
    (creator MicrosoftCorporation ?INST))		 ComputingBrands.kif 62-66 If X is a subclass of windows OS and Y is an instance of X, then Microsoft created Y


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners