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

KB Term:  Term intersection
English Word: 

Sigma KEE - Facebook
Facebook(Facebook)

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


(documentation Facebook EnglishLanguage "Facebook is a popular social networking WebSite for people over the age of 13 that allows people to connect and interact with one another online.") Facebook.kif 126-128
(instance Facebook SocialNetworkingSite) Facebook.kif 131-131 Facebook is an instance of social networking site

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


(creator FacebookCorporation Facebook) ComputingBrands.kif 69-69 Facebook created Facebook
(termFormat EnglishLanguage Facebook "Facebook") ComputingBrands.kif 79-79 Facebook created Facebook
(termFormat ChineseTraditionalLanguage Facebook "臉書") ComputingBrands.kif 80-80 Facebook created Facebook
(termFormat ChineseLanguage Facebook "脸书") ComputingBrands.kif 81-81 Facebook created Facebook
(termFormat JapaneseLanguage Facebook "Facebook") ComputingBrands.kif 82-82 Facebook created Facebook

antecedent
-------------------------


(=>
    (and
        (instance ?USER InternetUser)
        (instance ?ACTION IntentionalProcess)
        (agent ?ACTION ?USER)
        (patient ?ACTION Facebook)
        (not
            (and
                (instance ?STATUS StatusUpdate)
                (result ?ACTION ?STATUS))))
    (result ?ACTION RecentActivity))		 Facebook.kif 312-322 If X is an instance of internet user, Y is an instance of intentional process, X is an agent of Y, Facebook is a patient of Y, and ~{ Z is an instance of status update } or ~{ Z is a result of Y }, then recent activity is a result of Y
(=>
    (and
        (instance ?NEWSFEED NewsFeed)
        (located ?NEWSFEED Facebook))
    (exists (?TOPNEWS)
        (and
            (instance ?TOPNEWS TopNewsFeed)
            (component ?TOPNEWS ?NEWSFEED))))		 Facebook.kif 437-444 If X is an instance of news feed and X is located at Facebook, then there exists Y such that Y is an instance of top news feed and Y is a component of X
(=>
    (and
        (instance ?NEWSFEED NewsFeed)
        (located ?NEWSFEED Facebook))
    (exists (?MOSTRECENT)
        (and
            (instance ?MOSTRECENT MostRecentFeed)
            (component ?MOSTRECENT ?NEWSFEED))))		 Facebook.kif 453-460 If X is an instance of news feed and X is located at Facebook, then there exists Y such that Y is an instance of most recent feed and Y is a component of X


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