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


KB Term:  Term intersection
English Word: 

Sigma KEE - FacebookCorporation
FacebookCorporation(Facebook)

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


(instance FacebookCorporation Corporation) ComputingBrands.kif 68-68 Facebook is an instance of corporation
(creator FacebookCorporation Facebook) ComputingBrands.kif 69-69 Facebook created Facebook

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


(termFormat EnglishLanguage FacebookCorporation "Facebook Corporation") ComputingBrands.kif 70-70
(termFormat ChineseTraditionalLanguage FacebookCorporation "臉書公司") ComputingBrands.kif 71-71
(termFormat ChineseLanguage FacebookCorporation "脸书公司") ComputingBrands.kif 72-72
(termFormat JapaneseLanguage FacebookCorporation "Facebook") ComputingBrands.kif 73-73
(termFormat EnglishLanguage FacebookCorporation "Facebook") ComputingBrands.kif 75-75
(termFormat ChineseTraditionalLanguage FacebookCorporation "臉書") ComputingBrands.kif 76-76
(termFormat ChineseLanguage FacebookCorporation "脸书") ComputingBrands.kif 77-77


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