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


KB Term:  Term intersection
English Word: 

  Entity

 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 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