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


KB Term:  Term intersection
English Word: 

Sigma KEE - SocialNetworkingUser
SocialNetworkingUser(social networking user)

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


(documentation SocialNetworkingUser EnglishLanguage "A SocialNetworkingUser is an InternetUser who has a SocialNetworkingAccount on a SocialNetworkingSite. When someone becomes a social networking user, they are usually asked to make a ProfilePage and, over time, they create SocialNetworkingConnections.") Facebook.kif 83-88
(subAttribute SocialNetworkingUser InternetUser) Facebook.kif 90-90 Social networking user is a subattribute of internet user

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


(termFormat EnglishLanguage SocialNetworkingUser "social networking user") Facebook.kif 91-91
(subAttribute FacebookUser SocialNetworkingUser) Facebook.kif 332-332 Facebook user is a subattribute of social networking user

appearance as argument number 3
-------------------------


(domain connectedInSocialNetwork 1 SocialNetworkingUser) Facebook.kif 43-43 The number 1 argument of connected in social network is an instance of social networking user
(domain connectedInSocialNetwork 2 SocialNetworkingUser) Facebook.kif 44-44 The number 2 argument of connected in social network is an instance of social networking user
(domain follows 1 SocialNetworkingUser) Facebook.kif 68-68 The number 1 argument of follow is an instance of social networking user
(domain follows 2 SocialNetworkingUser) Facebook.kif 69-69 The number 2 argument of follow is an instance of social networking user

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


(=>
    (instance ?USER SocialNetworkingUser)
    (exists (?SITE ?ACCOUNT)
        (and
            (instance ?SITE SocialNetworkingSite)
            (instance ?ACCOUNT
                (AccountOfServiceFn ?SITE))
            (hasAccount ?USER ?ACCOUNT))))		 Facebook.kif 93-99 If X is an instance of social networking user, then there exist Y, Z such that Y is an instance of social networking site, Z is an instance of account of service of Y, and X has account Z
(=>
    (and
        (instance ?USER1 SocialNetworkingUser)
        (birthday ?USER1 ?CLASS)
        (instance ?DAY ?CLASS)
        (instance ?AUTONOTIFY AutomatedNotificationSystem)
        (agent ?PROCESS ?AUTONOTIFY)
        (result ?PROCESS ?BIRTHDAYNOTIFICATION)
        (instance ?BIRTHDAYNOTIFICATION BirthdayNotification)
        (represents ?BIRTHDAYNOTIFICATION ?USER1))
    (holdsDuring ?DAY
        (forall (?USER2)
            (=>
                (and
                    (instance ?USER2 SocialNetworkingUser)
                    (connectedInSocialNetwork ?USER1 ?USER2))
                (destination ?PROCESS ?USER2)))))		 Facebook.kif 723-739 If All of the following hold: (1) X is an instance of social networking user (2) X's birthday is Y (3) Z is an instance of Y (4) W is an instance of automated notification system (5) W is an agent of V (6) U is a result of V (7) U is an instance of birthday notification (8) U expresses X, then For all Entity T: if T is an instance of social networking user and connected in social network X and T, then V ends up at T

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


(=>
    (and
        (instance ?SITE SocialNetworkingSite)
        (instance ?ACCOUNT
            (AccountOfServiceFn ?SITE)))
    (exists (?USER)
        (and
            (instance ?USER SocialNetworkingUser)
            (hasAccount ?USER ?ACCOUNT))))		 Facebook.kif 112-119 If X is an instance of social networking site and Y is an instance of account of service of X, then there exists Z such that Z is an instance of social networking user and Z has account Y
(=>
    (and
        (instance ?USER1 SocialNetworkingUser)
        (birthday ?USER1 ?CLASS)
        (instance ?DAY ?CLASS)
        (instance ?AUTONOTIFY AutomatedNotificationSystem)
        (agent ?PROCESS ?AUTONOTIFY)
        (result ?PROCESS ?BIRTHDAYNOTIFICATION)
        (instance ?BIRTHDAYNOTIFICATION BirthdayNotification)
        (represents ?BIRTHDAYNOTIFICATION ?USER1))
    (holdsDuring ?DAY
        (forall (?USER2)
            (=>
                (and
                    (instance ?USER2 SocialNetworkingUser)
                    (connectedInSocialNetwork ?USER1 ?USER2))
                (destination ?PROCESS ?USER2)))))		 Facebook.kif 723-739 If All of the following hold: (1) X is an instance of social networking user (2) X's birthday is Y (3) Z is an instance of Y (4) W is an instance of automated notification system (5) W is an agent of V (6) U is a result of V (7) U is an instance of birthday notification (8) U expresses X, then For all Entity T: if T is an instance of social networking user and connected in social network X and T, then V ends up at T


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