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

KB Term:  Term intersection
English Word: 

Sigma KEE - GoogleCorporation
GoogleCorporation(Google corporation)

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


(instance GoogleCorporation Corporation) ComputingBrands.kif 16-16 Google corporation is an instance of corporation
(subOrganization GoogleCorporation AlphabetCorporation) ComputingBrands.kif 17-17 Google corporation is a part of the organization Alphabet
(creator GoogleCorporation GMail) ComputingBrands.kif 3011-3011 Google corporation created GMail
(creator GoogleCorporation YouTube) ComputingBrands.kif 4546-4546 Google corporation created YouTube

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


(termFormat EnglishLanguage GoogleCorporation "Google corporation") domainEnglishFormat.kif 64946-64946


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners